General |
|||
---|---|---|---|
Project Activity
|
|||
Open Hub Data Quality
|
Updated 2 days ago | Updated 5 months ago | |
Homepage
|
coq.inria.fr | www.debian.org | |
Project License
|
lgpl | CoreSystemIV, Distributable | |
$7,374,971 | $1,611,906,618 | ||
All Time Statistics |
|||
352 developers | 10752 developers | ||
43100 commits | 658459 commits | ||
Initial Commit
|
almost 25 years ago | almost 31 years ago | |
Most Recent Commit
|
3 days ago | 5 months ago | |
12 Month Statistics |
|||
Contributors (Past 12 Months)
|
63 developers | 1,741 developers | |
Commits (Past 12 Months)
|
2,382 commits | 61,550 commits | |
Files Modified
|
2,375 files | 129,337 files | |
Lines Added
|
121,851 lines | 30,988,030 lines | |
Lines Removed
|
95,558 lines | 19,651,178 lines | |
Year-Over-Year Commits
|
Stable | Decreasing | |
30 Day Statistics |
|||
Contributors (Past 30 Days)
|
12 developers | 1,271 developers | |
Commits (Past 30 Days)
|
190 commits | 41,685 commits | |
Files Modified
|
487 files | 52,266 files | |
Lines Added
|
6,445 lines | 12,881,988 lines | |
Lines Removed
|
3,686 lines | 8,377,583 lines | |
Code Analysis |
|||
coq | C | ||
Comments
|
Very Low | Average | |
493,736 lines | 86,237,216 lines | ||
People |
|||
Managers
|
Position not yet claimed | ||
Open Hub Users
|
20 users | 2,139 users | |
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
4.7
Based on 596 user ratings. |