Compare Projects

General	C CompCert
Project Activity	Moderate Activity
Open Hub Data Quality	Updated about 7 hours ago
Homepage	https://compcert.org/compcert-C.html
Project License	No Data
Estimated Cost	$2,957,100
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph	55 developers
Commits (All Time) View as graph Project Comparison Graph	3400 commits
Initial Commit	over 20 years ago
Most Recent Commit	8 days ago
12 Month Statistics
Contributors (Past 12 Months)	5 developers
Commits (Past 12 Months)	134 commits
Files Modified	155 files
Lines Added	3,972 lines
Lines Removed	2,839 lines
Year-Over-Year Commits	Stable
30 Day Statistics
Contributors (Past 30 Days)	3 developers
Commits (Past 30 Days)	18 commits
Files Modified	18 files
Lines Added	333 lines
Lines Removed	114 lines
Code Analysis
Mostly Written In	coq
Comments	Very Low
Lines of Code View as graph Project Comparison Graph	206,428 lines
People
Managers	Position not yet claimed
Open Hub Users	1 user
Open Hub User Rating	0.0 0.0 Based on 0 user ratings.