Compare Projects

General	Agda 2	M metta-wam
Project Activity	Activity Not Available	Activity Not Available
Open Hub Data Quality	Updated 4 months ago	Updated 4 months ago
Homepage	wiki.portal.chalmers.se	github.com
Project License	lgpl	lgplv3-static
Estimated Cost	$2,011,771	$4,196,485
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph	297 developers	15 developers
Commits (All Time) View as graph Project Comparison Graph	23183 commits	2208 commits
Initial Commit	almost 20 years ago	almost 2 years ago
Most Recent Commit	5 months ago	5 months ago
12 Month Statistics
Contributors (Past 12 Months)	44 developers	14 developers
Commits (Past 12 Months)	809 commits	1,839 commits
Files Modified	3,090 files	1,664 files
Lines Added	23,231 lines	2,107,060 lines
Lines Removed	20,915 lines	499,371 lines
Year-Over-Year Commits	Increasing	Stable
30 Day Statistics
Contributors (Past 30 Days)	5 developers	4 developers
Commits (Past 30 Days)	25 commits	212 commits
Files Modified	62 files	76 files
Lines Added	268 lines	36,617 lines
Lines Removed	255 lines	15,844 lines
Code Analysis
Mostly Written In	Haskell	Prolog
Comments	Average	Very High
Lines of Code View as graph Project Comparison Graph	146,317 lines	288,665 lines
People
Managers	andreasabel	Douglas R. Miles
Open Hub Users	1 user	1 user
Open Hub User Rating	0.0 0.0 Based on 0 user ratings.	5.0 5.0 Based on 1 user rating.