# edwinb/Idris2-boot [Accueil](https://repo.masters-masters.com/) › [edwinb](https://repo.masters-masters.com/owners/edwinb) › [Idris2-boot](https://repo.masters-masters.com/repos/edwinb/Idris2-boot) edwinb/Idris2-boot, dépôt open source à 889 étoiles sur GitHub. Carte Bêta de RepoMasters. A dependently typed programming language, a successor to Idris | Champ | Valeur | | --- | --- | | Propriétaire | [edwinb](https://repo.masters-masters.com/owners/edwinb) | | Étoiles | 889 | | Forks | 55 | | Langage | [Idris](https://repo.masters-masters.com/languages/idris) | | Licence | Aucune | | Création | 2019 | | Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) | | Voir sur GitHub | [edwinb/Idris2-boot](https://github.com/edwinb/Idris2-boot) | ## Fiche du dépôt A dependently typed programming language, a successor to Idris Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare. ## Autres dépôts de edwinb - [edwinb/Blodwen · ★ 540 · Idris · Alpha](https://repo.masters-masters.com/repos/edwinb/Blodwen) - [edwinb/idris-php · ★ 176 · Haskell · Prototype](https://repo.masters-masters.com/repos/edwinb/idris-php) - [edwinb/TypeDD-Samples · ★ 162 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/TypeDD-Samples) - [edwinb/SPLV20 · ★ 116 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/SPLV20) ## D’autres dépôts Idris - [idris-lang/Idris2 · ★ 3 103 · Idris · RC](https://repo.masters-masters.com/repos/idris-lang/Idris2) - [edwinb/Blodwen · ★ 540 · Idris · Alpha](https://repo.masters-masters.com/repos/edwinb/Blodwen) - [mmhelloworld/idris-jvm · ★ 483 · Idris · Alpha](https://repo.masters-masters.com/repos/mmhelloworld/idris-jvm) - [idris-hackers/software-foundations · ★ 459 · Idris · Alpha](https://repo.masters-masters.com/repos/idris-hackers/software-foundations) --- Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.