# absint/compcert

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/absint-compcert).**

2,187 stars · 258 forks · Rocq Prover · NOASSERTION

## Links

- GitHub: https://github.com/AbsInt/CompCert
- Homepage: https://compcert.org
- awesome-repositories: https://awesome-repositories.com/repository/absint-compcert.md

## Topics

`c` `compcert` `compiler` `coq`

## Description

The CompCert formally-verified C compiler

## Tags

### Part of an Awesome List

- [Build Systems](https://awesome-repositories.com/f/awesome-lists/devtools/build-systems.md) — A formally verified compiler supporting the C89 standard.