Compare Projects

Export to CSV

General

Project Activity
Moderate Activity
Activity Not Available
 
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

Contributors (All Time)
View as graph
55 developers 701 developers  
Commits (All Time)
View as graph
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  
Lines of Code
View as graph
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
 
0.0

Based on 0 user ratings.

4.3
   
4.3

Based on 10 user ratings.