# Dépôts de gallais [Accueil](https://repo.masters-masters.com/) › [gallais](https://repo.masters-masters.com/owners/gallais) Les 2 dépôts GitHub publics de gallais, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de gallais 2 dépôts publics de gallais au catalogue, du plus étoilé au moins étoilé. - [gallais/agdarsec · ★ 138 · Agda · Prototype](https://repo.masters-masters.com/repos/gallais/agdarsec) - [gallais/idris-tparsec · ★ 100 · Idris · Prototype](https://repo.masters-masters.com/repos/gallais/idris-tparsec) ## Voir gallais sur GitHub - [https://github.com/gallais](https://github.com/gallais) --- Données : GitHub