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