# idris-lang/Idris-dev

<https://repo.masters-masters.com/en/repos/idris-lang/Idris-dev>

[Home](https://repo.masters-masters.com/en) › [idris-lang](https://repo.masters-masters.com/en/owners/idris-lang) › [Idris-dev](https://repo.masters-masters.com/en/repos/idris-lang/Idris-dev)

idris-lang/Idris-dev has 3,478 stars on GitHub. Its RepoMasters card: RC tier. A Dependently Typed Functional Programming Language Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [idris-lang](https://repo.masters-masters.com/en/owners/idris-lang) |
| Stars | 3,478 |
| Forks | 630 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | None |
| Created | 2011 |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [idris-lang/Idris-dev](https://github.com/idris-lang/Idris-dev) |

## Repository

A Dependently Typed Functional Programming Language

Archived: this repository is read-only

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by idris-lang

- [idris-lang/Idris2 · ★ 3,103 · Idris · RC](https://repo.masters-masters.com/en/repos/idris-lang/Idris2)

## Nearby in Haskell

- [HigherOrderCO/Kind · ★ 3,764 · Haskell · RC](https://repo.masters-masters.com/en/repos/HigherOrderCO/Kind)
- [input-output-hk/cardano-sl · ★ 3,744 · Haskell · RC](https://repo.masters-masters.com/en/repos/input-output-hk/cardano-sl)
- [xmonad/xmonad · ★ 3,607 · Haskell · RC](https://repo.masters-masters.com/en/repos/xmonad/xmonad)
- [b3nj5m1n/xdg-ninja · ★ 3,410 · Haskell · RC](https://repo.masters-masters.com/en/repos/b3nj5m1n/xdg-ninja)
- [ghc/ghc · ★ 3,274 · Haskell · RC](https://repo.masters-masters.com/en/repos/ghc/ghc)
- [SimulaVR/Simula · ★ 3,213 · Haskell · RC](https://repo.masters-masters.com/en/repos/SimulaVR/Simula)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.