# idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Repository: https://github.com/idris-lang/Idris-dev
Canonical: https://ross.abutalabs.com/products/idris-dev
Homepage: http://idris-lang.org
Language: Haskell
License: NOASSERTION
License Family: other
Archived: true
Last push: 2025-02-17T14:08:47+00:00

## Health v2 (maintenance only)
Score: 10/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 7, release rhythm 8, longevity 100
- inputs: {"age_days": 5467, "days_push": 562, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: archived, no_license
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 3479, forks 630 (observed 2026-08-28T04:08:06.798476+00:00)

## What it is
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
- artifact type: cli-tool
- maturity: maintenance
- function: programming-language, compiler, type-system, interpreter
- domain: programming-languages, compilers, developer-tools
- platform: windows, cli, cross-platform
- tags: dependent-types, functional-programming, type-driven-development, idris1, deprecated, haskell, formal-verification, code-generation, linux, macos

## Member repositories
- idris-lang/Idris-dev (main) score 10

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:08:06.798476+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-29T18:36:28.574180+00:00, confidence not recorded.
  - readme: https://github.com/idris-lang/Idris-dev (fetched 2026-08-28T04:08:06.798476+00:00, sha 6400601c0a91)
  - homepage: http://idris-lang.org (fetched 2026-08-29T09:30:25.207953+00:00, sha 69e6caeb5bcf)
  - site_page: https://www.idris-lang.org/pages/documentation.html (fetched 2026-08-29T09:30:25.218934+00:00, sha eb71b11bc871)
- Data as of 2026-08-30T08:39:29.467469+00:00.