Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 1 day ago | Updated 1 day ago | |
|
Homepage
|
https://coq.inria.fr/ | http://whiley.org | |
|
Project License
|
lgpl | BSD-3-Clause | |
| $5,037,165 | $443,640 | ||
All Time Statistics |
|||
| 399 developers | 18 developers | ||
| 46998 commits | 7950 commits | ||
|
Initial Commit
|
over 26 years ago | over 15 years ago | |
|
Most Recent Commit
|
2 days ago | over 3 years ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
57 developers | No Activity | |
|
Commits (Past 12 Months)
|
2,484 commits | No Activity | |
|
Files Modified
|
4,836 files | No Activity | |
|
Lines Added
|
407,773 lines | No Activity | |
|
Lines Removed
|
591,574 lines | No Activity | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
6 developers | No Activity | |
|
Commits (Past 30 Days)
|
153 commits | No Activity | |
|
Files Modified
|
276 files | No Activity | |
|
Lines Added
|
4,842 lines | No Activity | |
|
Lines Removed
|
2,467 lines | No Activity | |
Code Analysis |
|||
| OCaml | Java | ||
|
Comments
|
Average | Average | |
| 343,959 lines | 33,861 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
20 users | 1 user | |
|
Open Hub User Rating
|
4.9
Based on 8 user ratings. |
5.0
Based on 1 user rating. |
|
