# GitHub repos by thehottgame [Home](https://repo.masters-masters.com/en) › [thehottgame](https://repo.masters-masters.com/en/owners/thehottgame) The public GitHub repo by thehottgame in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by thehottgame 1 public repo by thehottgame in the catalog, most starred first. - [thehottgame/TheHoTTGame · ★ 141 · Agda · Prototype](https://repo.masters-masters.com/en/repos/thehottgame/TheHoTTGame) ## See thehottgame on GitHub - [https://github.com/thehottgame](https://github.com/thehottgame) --- Data: GitHub