idris-lang/Idris-dev
A Dependently Typed Functional Programming Language observed · 2026-08-28
Health v2 · maintenance only
10/100
- Activity 7
- Release rhythm 8
- Longevity 100
Flags: archived no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 5467
- days_rel: n/a
- days_push: 562
- n_releases_24m: 0
Adoption not part of the score
3479 stars · 630 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
Idris 1 is a general-purpose functional programming language with full dependent types, implemented in Haskell, supporting type-driven development and code generation to C and JavaScript. This repository is the original Idris 1 implementation, which is now deprecated in favor of Idris 2.
Use cases
- write programs with dependent types
- prove program properties with the type checker
- learn type-driven development
- compile functional code to C or JavaScript
- explore dependent type theory in practice
When to choose
- you need to maintain or study legacy Idris 1 code
- you want to experiment with the original Idris implementation
- you need a Haskell-based dependent type language toolchain
When to avoid
- you are starting a new project - use Idris 2 instead
- you need actively maintained tooling or documentation
- you need production-grade language support
Facets
cli-tool · maturity maintenance
programming-language compiler type-system interpreter programming-languages compilers developer-tools windows cli cross-platform dependent-types functional-programming type-driven-development idris1 deprecated haskell formal-verification code-generation linux macos
3 sources
- readme: https://github.com/idris-lang/Idris-dev · fetched 2026-08-28 · 6400601c0a91
- homepage: http://idris-lang.org · fetched 2026-08-29 · 69e6caeb5bcf
- site_page: https://www.idris-lang.org/pages/documentation.html · fetched 2026-08-29 · eb71b11bc871
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| idris-lang/Idris-dev | main | 10 |
For agents
markdown · JSON · MCP: product_card(name="idris-lang/Idris-dev")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem