RCÉpique
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
Archivé : ce dépôt n’évolue plus
- Propriétaire
- idris-lang (organisation)
- Étoiles
- Étoiles : 3 478
- Forks
- Forks : 630
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2011
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de idris-lang
Les 2 dépôts de idris-lang- idris-lang/Idris2Étoiles : 3 102IdrisRC
D’autres dépôts Haskell
Tous les dépôts Haskell- HigherOrderCO/KindÉtoiles : 3 764HaskellRC
- input-output-hk/cardano-slÉtoiles : 3 744HaskellRC
- xmonad/xmonadÉtoiles : 3 607HaskellRC
- b3nj5m1n/xdg-ninjaÉtoiles : 3 409HaskellRC
- ghc/ghcÉtoiles : 3 274HaskellRC
- SimulaVR/SimulaÉtoiles : 3 212HaskellRC