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