General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 1 day ago | Updated about 3 hours ago | |
|
Homepage
|
https://coq.inria.fr/ | http://www.gnu.org/software/autoconf/ | |
|
Project License
|
lgpl | gpl3_or_later | |
| $5,063,444 | $568,366 | ||
All Time Statistics |
|||
| 401 developers | 142 developers | ||
| 47194 commits | 7043 commits | ||
|
Initial Commit
|
over 26 years ago | over 33 years ago | |
|
Most Recent Commit
|
1 day ago | 12 days ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
57 developers | 9 developers | |
|
Commits (Past 12 Months)
|
2,589 commits | 33 commits | |
|
Files Modified
|
4,908 files | 88 files | |
|
Lines Added
|
416,442 lines | 328 lines | |
|
Lines Removed
|
595,577 lines | 107 lines | |
|
Year-Over-Year Commits
|
Stable | Decreasing | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
11 developers | 1 developer | |
|
Commits (Past 30 Days)
|
259 commits | 1 commit | |
|
Files Modified
|
456 files | 1 file | |
|
Lines Added
|
14,614 lines | 2 lines | |
|
Lines Removed
|
8,778 lines | 2 lines | |
Code Analysis |
|||
| OCaml | shell script | ||
|
Comments
|
Average | Average | |
| 345,660 lines | 44,781 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. |
|