General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated about 10 hours ago | Updated 1 day ago | |
|
Homepage
|
https://compcert.org/compcert-C.html | https://cython.org/ | |
|
Project License
|
No Data | apache_2 | |
| $2,957,100 | $3,002,956 | ||
All Time Statistics |
|||
| 55 developers | 639 developers | ||
| 3404 commits | 20750 commits | ||
|
Initial Commit
|
over 20 years ago | over 19 years ago | |
|
Most Recent Commit
|
2 days ago | 3 days ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
5 developers | 61 developers | |
|
Commits (Past 12 Months)
|
138 commits | 1,090 commits | |
|
Files Modified
|
159 files | 570 files | |
|
Lines Added
|
3,979 lines | 138,293 lines | |
|
Lines Removed
|
2,846 lines | 22,556 lines | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
2 developers | 17 developers | |
|
Commits (Past 30 Days)
|
17 commits | 58 commits | |
|
Files Modified
|
18 files | 78 files | |
|
Lines Added
|
307 lines | 2,012 lines | |
|
Lines Removed
|
89 lines | 186 lines | |
Code Analysis |
|||
| coq | Python | ||
|
Comments
|
Very Low | Very High | |
| 206,428 lines | 209,388 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
1 user | 63 users | |
|
Open Hub User Rating
|
0.0
Based on 0 user ratings. |
4.9
Based on 21 user ratings. |
|