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