General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 1 day ago | Updated 8 months ago | |
|
Homepage
|
https://coq.inria.fr/ | http://www.debian.org/ | |
|
Project License
|
lgpl | CoreSystemIV, Distributable | |
| $5,036,531 | $1,599,742,194 | ||
All Time Statistics |
|||
| 399 developers | 12757 developers | ||
| 46987 commits | 727684 commits | ||
|
Initial Commit
|
over 26 years ago | over 32 years ago | |
|
Most Recent Commit
|
2 days ago | 8 months ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
57 developers | 3,588 developers | |
|
Commits (Past 12 Months)
|
2,480 commits | 114,016 commits | |
|
Files Modified
|
4,836 files | 132,270 files | |
|
Lines Added
|
407,200 lines | 32,264,303 lines | |
|
Lines Removed
|
591,154 lines | 20,491,803 lines | |
|
Year-Over-Year Commits
|
Stable | Decreasing | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
6 developers | 2,994 developers | |
|
Commits (Past 30 Days)
|
154 commits | 90,918 commits | |
|
Files Modified
|
304 files | 55,268 files | |
|
Lines Added
|
4,690 lines | 14,158,191 lines | |
|
Lines Removed
|
2,325 lines | 9,219,147 lines | |
Code Analysis |
|||
| OCaml | C | ||
|
Comments
|
Average | Average | |
| 343,918 lines | 85,626,561 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
20 users | 2,135 users | |
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
4.7
Based on 593 user ratings. |
|