CompCert
/All repositories
Overview
HEALTH SCORE
Excellent*
Partial score (2/3 categories)
58out of 65
Strong development cadence. Maintainer coverage is the only remaining gap. Security & Supply Chain is unavailable, so weights were redistributed.
LIFECYCLE
Active
Consistent commits, responsive maintainers, regular releases, and healthy issue triage.
Health breakdown
Excellent*(58/65)
Maintainer availability, known risks and supply chain posture, and whether the project is actively developed or appropriately stable.
Maintainer responsiveness
Median response time is 1 day.
Bus factor
4 active maintainers currently have merge rights.
Organization Diversity
Contributors span 57 organizations.
Project Achievements
Leaderboards
About
CompCert is a formally verified C compiler that mathematically proves the generated assembly code is functionally equivalent to the source code, providing extremely high reliability for safety-critical software development
First commit
Software value
$7.5M
Tags
c
compcert
compiler
coq
License(s)
Other
Data sources
Git
GitHub