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