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