Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 1 day ago | Updated about 10 hours ago | |
|
Homepage
|
https://wiki.portal.chalmers.se/agda/pmwiki.php | https://coq.inria.fr/ | |
|
Project License
|
lgpl | lgpl | |
| $2,103,779 | $5,069,872 | ||
All Time Statistics |
|||
| 312 developers | 402 developers | ||
| 23889 commits | 47285 commits | ||
|
Initial Commit
|
over 20 years ago | over 26 years ago | |
|
Most Recent Commit
|
4 days ago | 1 day ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
36 developers | 57 developers | |
|
Commits (Past 12 Months)
|
740 commits | 2,598 commits | |
|
Files Modified
|
1,706 files | 3,776 files | |
|
Lines Added
|
25,939 lines | 194,338 lines | |
|
Lines Removed
|
15,675 lines | 384,425 lines | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
11 developers | 14 developers | |
|
Commits (Past 30 Days)
|
82 commits | 258 commits | |
|
Files Modified
|
218 files | 538 files | |
|
Lines Added
|
2,420 lines | 17,153 lines | |
|
Lines Removed
|
1,453 lines | 12,587 lines | |
Code Analysis |
|||
| Haskell | OCaml | ||
|
Comments
|
Average | Average | |
| 152,586 lines | 346,076 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
1 user | 20 users | |
|
Open Hub User Rating
|
0.0
Based on 0 user ratings. |
4.9
Based on 8 user ratings. |
|
