AbsInt / CompCert

git clone https://github.com/AbsInt/CompCert.git

The CompCert formally-verified C compiler

stars, 24h · #54,596

+~0

stars, 7 days · #54,670

+~0

stars, 30 days · #54,808

2.2k

★ total

267

forks · 41 open issues

2026-10-20 · 2,250 ★ 2026-10-21 · 2,250 ★

LanguageRocq Prover

License—

Created2014-09-18 (12y ago)

Last push3d ago

OwnerOrganization