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