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