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