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