# AbsInt/CompCert

<https://repo.masters-masters.com/en/repos/AbsInt/CompCert>

[Home](https://repo.masters-masters.com/en) › [AbsInt](https://repo.masters-masters.com/en/owners/AbsInt) › [CompCert](https://repo.masters-masters.com/en/repos/AbsInt/CompCert)

AbsInt/CompCert has 2,264 stars on GitHub. Its RepoMasters card: RC tier. The CompCert formally-verified C compiler Language: Rocq Prover.

| Field | Value |
| --- | --- |
| Owner | [AbsInt](https://repo.masters-masters.com/en/owners/AbsInt) |
| Stars | 2,264 |
| Forks | 268 |
| Language | [Rocq Prover](https://repo.masters-masters.com/en/languages/rocq-prover) |
| License | None |
| Created | 2014 |
| Topics | compcert, coq, c, compiler |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [AbsInt/CompCert](https://github.com/AbsInt/CompCert) |

## Repository

The CompCert formally-verified C compiler

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## Nearby in Rocq Prover

- [gustavo-depaula/stalin-sort · ★ 1,712 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/gustavo-depaula/stalin-sort)
- [HoTT/Coq-HoTT · ★ 1,407 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/HoTT/Coq-HoTT)
- [formal-land/rocq-of-rust · ★ 1,191 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/formal-land/rocq-of-rust)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.