Compare Projects

General	Why3	OCaml
Project Activity	Activity Not Available	Activity Not Available
Open Hub Data Quality	Updated 12 months ago	Updated 12 months ago
Homepage	why3.lri.fr	www.ocaml.org
Project License	lgpl	lgpl
Estimated Cost	$7,764,477	$6,796,219
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph	91 developers	446 developers
Commits (All Time) View as graph Project Comparison Graph	16140 commits	29983 commits
Initial Commit	about 15 years ago	over 29 years ago
Most Recent Commit	12 months ago	12 months ago
12 Month Statistics
Contributors (Past 12 Months)	22 developers	107 developers
Commits (Past 12 Months)	550 commits	1,540 commits
Files Modified	3,521 files	2,423 files
Lines Added	592,391 lines	335,602 lines
Lines Removed	635,663 lines	209,167 lines
Year-Over-Year Commits	Decreasing	Stable
30 Day Statistics
Contributors (Past 30 Days)	6 developers	15 developers
Commits (Past 30 Days)	19 commits	79 commits
Files Modified	60 files	281 files
Lines Added	244 lines	3,654 lines
Lines Removed	94 lines	1,667 lines
Code Analysis
Mostly Written In	Ruby	OCaml
Comments	Very Low	High
Lines of Code View as graph Project Comparison Graph	534,630 lines	461,012 lines
People
Managers	Jean-Christophe Filliatre	Xavier Leroy
Open Hub Users	3 users	88 users
Open Hub User Rating	5.0 5.0 Based on 2 user ratings.	4.66667 4.7 Based on 24 user ratings.