Compare Projects

General	Y yaafe	Coq proof a...
Project Activity	Activity Not Available	Very High Activity
Open Hub Data Quality	Pending	Updated 3 days ago
Homepage	yaafe.sourceforge.net	coq.inria.fr
Project License	lgpv3_or_later	lgpl
Estimated Cost	Pending	$7,407,753
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph	Pending	355 developers
Commits (All Time) View as graph Project Comparison Graph	Pending	43330 commits
Initial Commit	Pending	almost 25 years ago
Most Recent Commit	Pending	5 days ago
12 Month Statistics
Contributors (Past 12 Months)	Pending	65 developers
Commits (Past 12 Months)	Pending	2,443 commits
Files Modified	Pending	2,435 files
Lines Added	Pending	126,432 lines
Lines Removed	Pending	99,612 lines
Year-Over-Year Commits	Pending	Stable
30 Day Statistics
Contributors (Past 30 Days)	Pending	16 developers
Commits (Past 30 Days)	Pending	223 commits
Files Modified	Pending	544 files
Lines Added	Pending	11,530 lines
Lines Removed	Pending	7,684 lines
Code Analysis
Mostly Written In	Pending	coq
Comments	Pending	Very Low
Lines of Code View as graph Project Comparison Graph	Pending	495,819 lines
People
Managers	Position not yet claimed	Position not yet claimed
Open Hub Users	0 users	20 users
Open Hub User Rating	0.0 0.0 Based on 0 user ratings.	4.875 4.9 Based on 8 user ratings.