Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 25 days ago | Updated 25 days ago | |
|
Homepage
|
coq.inria.fr | www.gnu.org | |
|
Project License
|
lgpl | gpl3_or_later | |
| $4,907,254 | $565,727 | ||
All Time Statistics |
|||
| 373 developers | 138 developers | ||
| 44960 commits | 7016 commits | ||
|
Initial Commit
|
over 25 years ago | almost 33 years ago | |
|
Most Recent Commit
|
26 days ago | about 1 month ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
62 developers | 8 developers | |
|
Commits (Past 12 Months)
|
2,760 commits | 64 commits | |
|
Files Modified
|
5,251 files | 99 files | |
|
Lines Added
|
648,910 lines | 967 lines | |
|
Lines Removed
|
1,037,514 lines | 899 lines | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
13 developers | 3 developers | |
|
Commits (Past 30 Days)
|
240 commits | 5 commits | |
|
Files Modified
|
1,811 files | 86 files | |
|
Lines Added
|
47,815 lines | 64 lines | |
|
Lines Removed
|
268,003 lines | 59 lines | |
Code Analysis |
|||
| OCaml | shell script | ||
|
Comments
|
Average | Average | |
| 335,542 lines | 44,587 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | Position not yet claimed | |
|
Open Hub Users
|
20 users | 787 users | |
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
3.4
Based on 120 user ratings. |
|
