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