Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 2 days ago | Updated 1 day ago | |
|
Homepage
|
coq.inria.fr | www.gnu.org | |
|
Project License
|
lgpl | gpl3_or_later | |
| $7,374,971 | $33,106,493 | ||
All Time Statistics |
|||
| 352 developers | 1599 developers | ||
| 43100 commits | 172433 commits | ||
|
Initial Commit
|
almost 25 years ago | about 39 years ago | |
|
Most Recent Commit
|
3 days ago | 1 day ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
63 developers | 229 developers | |
|
Commits (Past 12 Months)
|
2,382 commits | 5,360 commits | |
|
Files Modified
|
2,375 files | 3,824 files | |
|
Lines Added
|
121,851 lines | 277,811 lines | |
|
Lines Removed
|
95,558 lines | 113,949 lines | |
|
Year-Over-Year Commits
|
Stable | Decreasing | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
12 developers | 50 developers | |
|
Commits (Past 30 Days)
|
190 commits | 427 commits | |
|
Files Modified
|
487 files | 578 files | |
|
Lines Added
|
6,445 lines | 11,588 lines | |
|
Lines Removed
|
3,686 lines | 6,219 lines | |
Code Analysis |
|||
| coq | Emacs Lisp | ||
|
Comments
|
Very Low | Average | |
| 493,736 lines | 2,068,918 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
20 users | 1,165 users | |
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
4.7
Based on 374 user ratings. |
|
