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