# Dépôts de idris-lang [Accueil](https://repo.masters-masters.com/) › [idris-lang](https://repo.masters-masters.com/owners/idris-lang) Les 2 dépôts GitHub publics de idris-lang, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de idris-lang 2 dépôts publics de idris-lang au catalogue, du plus étoilé au moins étoilé. - [idris-lang/Idris-dev · ★ 3 478 · Haskell · RC](https://repo.masters-masters.com/repos/idris-lang/Idris-dev) - [idris-lang/Idris2 · ★ 3 103 · Idris · RC](https://repo.masters-masters.com/repos/idris-lang/Idris2) ## Voir idris-lang sur GitHub - [https://github.com/idris-lang](https://github.com/idris-lang) --- Données : GitHub