Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 3 months ago | ||
|
Homepage
|
coq.inria.fr | ||
|
Project License
|
lgpl | ||
| $4,909,383 | |||
All Time Statistics |
|||
| 373 developers | |||
| 45002 commits | |||
|
Initial Commit
|
almost 26 years ago | ||
|
Most Recent Commit
|
4 months ago | ||
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
62 developers | ||
|
Commits (Past 12 Months)
|
2,769 commits | ||
|
Files Modified
|
5,255 files | ||
|
Lines Added
|
648,580 lines | ||
|
Lines Removed
|
1,037,317 lines | ||
|
Year-Over-Year Commits
|
Stable | ||
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
13 developers | ||
|
Commits (Past 30 Days)
|
282 commits | ||
|
Files Modified
|
1,834 files | ||
|
Lines Added
|
48,704 lines | ||
|
Lines Removed
|
268,588 lines | ||
Code Analysis |
|||
| OCaml | |||
|
Comments
|
Average | ||
| 335,680 lines | |||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
20 users | ||
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
||
