# Dépôts de idris-community [Accueil](https://repo.masters-masters.com/) › [idris-community](https://repo.masters-masters.com/owners/idris-community) Le dépôt GitHub public de idris-community en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de idris-community 1 dépôt public de idris-community au catalogue pour l’instant. - [idris-community/idris2-lsp · ★ 205 · Idris · Prototype](https://repo.masters-masters.com/repos/idris-community/idris2-lsp) ## Voir idris-community sur GitHub - [https://github.com/idris-community](https://github.com/idris-community) --- Données : GitHub