General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated about 21 hours ago | Updated over 2 years ago | |
|
Homepage
|
https://compcert.org/compcert-C.html | https://devkitpro.org/ | |
|
Project License
|
No Data | BSD-3-Clause, CC-BY-NC-SA-2-5, gpl | |
| $2,957,100 | $19,784,526 | ||
All Time Statistics |
|||
| 55 developers | 701 developers | ||
| 3400 commits | 29850 commits | ||
|
Initial Commit
|
over 20 years ago | over 27 years ago | |
|
Most Recent Commit
|
7 days ago | over 2 years ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
5 developers | 103 developers | |
|
Commits (Past 12 Months)
|
134 commits | 1,319 commits | |
|
Files Modified
|
155 files | 1,615 files | |
|
Lines Added
|
3,972 lines | 94,010 lines | |
|
Lines Removed
|
2,839 lines | 48,400 lines | |
|
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
3 developers | 55 developers | |
|
Commits (Past 30 Days)
|
18 commits | 669 commits | |
|
Files Modified
|
18 files | 896 files | |
|
Lines Added
|
333 lines | 32,054 lines | |
|
Lines Removed
|
114 lines | 19,053 lines | |
Code Analysis |
|||
| coq | C | ||
|
Comments
|
Very Low | High | |
| 206,428 lines | 1,288,910 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | ||
|
Open Hub Users
|
1 user | 21 users | |
|
Open Hub User Rating
|
0.0
Based on 0 user ratings. |
4.3
Based on 10 user ratings. |
|