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