Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 23 days ago | Updated 23 days ago | |
|
Homepage
|
sourceforge.net | coq.inria.fr | |
|
Project License
|
No Data | lgpl | |
| $22,856 | $4,907,254 | ||
All Time Statistics |
|||
| 3 developers | 373 developers | ||
| 26 commits | 44960 commits | ||
|
Initial Commit
|
almost 20 years ago | over 25 years ago | |
|
Most Recent Commit
|
about 19 years ago | 24 days ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
No Activity | 62 developers | |
|
Commits (Past 12 Months)
|
No Activity | 2,760 commits | |
|
Files Modified
|
No Activity | 5,251 files | |
|
Lines Added
|
No Activity | 648,910 lines | |
|
Lines Removed
|
No Activity | 1,037,514 lines | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
No Activity | 13 developers | |
|
Commits (Past 30 Days)
|
No Activity | 240 commits | |
|
Files Modified
|
No Activity | 1,811 files | |
|
Lines Added
|
No Activity | 47,815 lines | |
|
Lines Removed
|
No Activity | 268,003 lines | |
Code Analysis |
|||
| C++ | OCaml | ||
|
Comments
|
Very High | Average | |
| 2,061 lines | 335,542 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | Position not yet claimed | |
|
Open Hub Users
|
1 user | 20 users | |
|
Open Hub User Rating
|
0.0
Based on 0 user ratings. |
4.9
Based on 8 user ratings. |
|
