Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated about 4 hours ago | Updated 1 day ago | |
|
Homepage
|
https://coq.inria.fr/ | https://github.com/benl23x5/iron | |
|
Project License
|
lgpl | No Data | |
| $5,069,794 | $525,894 | ||
All Time Statistics |
|||
| 402 developers | 3 developers | ||
| 47274 commits | 320 commits | ||
|
Initial Commit
|
over 26 years ago | almost 13 years ago | |
|
Most Recent Commit
|
about 18 hours ago | over 5 years ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
58 developers | No Activity | |
|
Commits (Past 12 Months)
|
2,601 commits | No Activity | |
|
Files Modified
|
3,773 files | No Activity | |
|
Lines Added
|
192,909 lines | No Activity | |
|
Lines Removed
|
383,093 lines | No Activity | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
14 developers | No Activity | |
|
Commits (Past 30 Days)
|
253 commits | No Activity | |
|
Files Modified
|
536 files | No Activity | |
|
Lines Added
|
15,624 lines | No Activity | |
|
Lines Removed
|
11,126 lines | No Activity | |
Code Analysis |
|||
| OCaml | coq | ||
|
Comments
|
Average | Low | |
| 346,071 lines | 39,788 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
20 users | 0 users | |
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
0.0
Based on 0 user ratings. |
|
