General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated about 4 hours ago | Updated 1 day ago | |
|
Homepage
|
https://coq.inria.fr/ | http://www.gnu.org/software/make/ | |
|
Project License
|
lgpl | gpl | |
| $5,025,951 | $622,927 | ||
All Time Statistics |
|||
| 398 developers | 87 developers | ||
| 46910 commits | 3183 commits | ||
|
Initial Commit
|
about 26 years ago | over 37 years ago | |
|
Most Recent Commit
|
1 day ago | 2 months ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
60 developers | 2 developers | |
|
Commits (Past 12 Months)
|
2,446 commits | 16 commits | |
|
Files Modified
|
4,925 files | 154 files | |
|
Lines Added
|
405,888 lines | 993 lines | |
|
Lines Removed
|
592,119 lines | 809 lines | |
|
Year-Over-Year Commits
|
Stable | Decreasing | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
6 developers | No Activity | |
|
Commits (Past 30 Days)
|
137 commits | No Activity | |
|
Files Modified
|
302 files | No Activity | |
|
Lines Added
|
4,151 lines | No Activity | |
|
Lines Removed
|
2,196 lines | No Activity | |
Code Analysis |
|||
| OCaml | C | ||
|
Comments
|
Average | Average | |
| 343,233 lines | 46,951 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
20 users | 2,708 users | |
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
4.1
Based on 403 user ratings. |
|