Illustration: the project’s public image, pixelated by RepoMasters. Credits

RCEpic

AbsInt/CompCert

The CompCert formally-verified C compiler

Owner: AbsInt (organization)
Stars: Stars: 2,264
Forks: Forks: 268
Language: Rocq Prover
License: None
Created: 2014
Topics: compcertcoqccompiler
Tier: RC (2,000 to 4,999 ★) What this tier means

Nearby in Rocq Prover

All Rocq Prover repos

gustavo-depaula/stalin-sortStars: 1,712Rocq ProverBeta
HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
formal-land/rocq-of-rustStars: 1,191Rocq ProverBeta