# Dépôts Idris [Accueil](https://repo.masters-masters.com/) › [Langages](https://repo.masters-masters.com/languages) › [Idris](https://repo.masters-masters.com/languages/idris) Les 25 dépôts Idris open source de RepoMasters, du plus étoilé au moins étoilé : étoiles GitHub, rang et carte à collectionner de chacun. ## Dépôts Idris 25 dépôts Idris au catalogue, du plus étoilé au moins étoilé. - [idris-lang/Idris2 · ★ 3 102 · Idris · RC](https://repo.masters-masters.com/repos/idris-lang/Idris2) - [edwinb/Idris2-boot · ★ 889 · Idris · Bêta](https://repo.masters-masters.com/repos/edwinb/Idris2-boot) - [edwinb/Blodwen · ★ 540 · Idris · Alpha](https://repo.masters-masters.com/repos/edwinb/Blodwen) - [mmhelloworld/idris-jvm · ★ 482 · 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) - [joaomilho/awesome-idris · ★ 414 · Idris · Alpha](https://repo.masters-masters.com/repos/joaomilho/awesome-idris) - [typedefs/typedefs · ★ 373 · Idris · Alpha](https://repo.masters-masters.com/repos/typedefs/typedefs) - [statebox/idris-ct · ★ 272 · Idris · Alpha](https://repo.masters-masters.com/repos/statebox/idris-ct) - [ziman/lightyear · ★ 243 · Idris · Prototype](https://repo.masters-masters.com/repos/ziman/lightyear) - [stefan-hoeck/idris2-tutorial · ★ 240 · Idris · Prototype](https://repo.masters-masters.com/repos/stefan-hoeck/idris2-tutorial) - [puffnfresh/iridium · ★ 209 · Idris · Prototype](https://repo.masters-masters.com/repos/puffnfresh/iridium) - [idris-community/idris2-lsp · ★ 205 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-community/idris2-lsp) - [idris-hackers/idris-demos · ★ 195 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-demos) - [idris-hackers/idris-koans · ★ 181 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-koans) - [channable/dbcritic · ★ 180 · Idris · Prototype](https://repo.masters-masters.com/repos/channable/dbcritic) - [timjb/quantities · ★ 164 · Idris · Prototype](https://repo.masters-masters.com/repos/timjb/quantities) - [stefan-hoeck/idris2-pack · ★ 163 · Idris · Prototype](https://repo.masters-masters.com/repos/stefan-hoeck/idris2-pack) - [edwinb/TypeDD-Samples · ★ 162 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/TypeDD-Samples) - [christian-public/Idris2-Erlang · ★ 149 · Idris · Prototype](https://repo.masters-masters.com/repos/christian-public/Idris2-Erlang) - [andorp/order-taking · ★ 146 · Idris · Prototype](https://repo.masters-masters.com/repos/andorp/order-taking) - [KesterTong/idris2048 · ★ 124 · Idris · Prototype](https://repo.masters-masters.com/repos/KesterTong/idris2048) - [idris-hackers/idris-crypto · ★ 121 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-hackers/idris-crypto) - [joom/hezarfen · ★ 119 · Idris · Prototype](https://repo.masters-masters.com/repos/joom/hezarfen) - [edwinb/SPLV20 · ★ 116 · Idris · Prototype](https://repo.masters-masters.com/repos/edwinb/SPLV20) - [gallais/idris-tparsec · ★ 100 · Idris · Prototype](https://repo.masters-masters.com/repos/gallais/idris-tparsec) --- Données : GitHub