Compare Projects

General		Agda 2
Project Activity		Activity Not Available
Open Hub Data Quality		Updated 4 months ago
Homepage		wiki.portal.chalmers.se
Project License		lgpl
Estimated Cost		$2,011,771
All Time Statistics
Contributors (All Time) View as graph Project Comparison Graph		297 developers
Commits (All Time) View as graph Project Comparison Graph		23183 commits
Initial Commit		almost 20 years ago
Most Recent Commit		5 months ago
12 Month Statistics
Contributors (Past 12 Months)		44 developers
Commits (Past 12 Months)		809 commits
Files Modified		3,090 files
Lines Added		23,231 lines
Lines Removed		20,915 lines
Year-Over-Year Commits		Increasing
30 Day Statistics
Contributors (Past 30 Days)		5 developers
Commits (Past 30 Days)		25 commits
Files Modified		62 files
Lines Added		268 lines
Lines Removed		255 lines
Code Analysis
Mostly Written In		Haskell
Comments		Average
Lines of Code View as graph Project Comparison Graph		146,317 lines
People
Managers		andreasabel
Open Hub Users		1 user
Open Hub User Rating		0.0 0.0 Based on 0 user ratings.