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