# idris-lang/Idris-dev

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

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

idris-lang/Idris-dev, dépôt open source à 3 478 étoiles sur GitHub. Carte RC de RepoMasters. A Dependently Typed Functional Programming Language

| Champ | Valeur |
| --- | --- |
| Propriétaire | [idris-lang](https://repo.masters-masters.com/owners/idris-lang) |
| Étoiles | 3 478 |
| Forks | 630 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | Aucune |
| Création | 2011 |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [idris-lang/Idris-dev](https://github.com/idris-lang/Idris-dev) |

## Fiche du dépôt

A Dependently Typed Functional Programming Language

Archivé : ce dépôt n’évolue plus

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## Autres dépôts de idris-lang

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

## D’autres dépôts Haskell

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

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.