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