Compare Projects

Export to CSV

General
Project Activity
Activity Not Available
Activity Not Available
  
Open Hub Data Quality
Updated 4 months ago Updated 4 months ago  
Homepage
github.com coq.inria.fr  
Project License
bsd lgpl  
Estimated Cost
$10,776 $4,909,383  

All Time Statistics
Contributors (All Time)
View as graph
1 developer 373 developers  
Commits (All Time)
View as graph
56 commits 45002 commits  
Initial Commit
over 15 years ago almost 26 years ago  
Most Recent Commit
over 15 years ago 5 months ago  

12 Month Statistics
Contributors (Past 12 Months)
No Activity 62 developers  
Commits (Past 12 Months)
No Activity 2,769 commits  
Files Modified
No Activity 5,255 files  
Lines Added
No Activity 648,580 lines  
Lines Removed
No Activity 1,037,317 lines  
Year-Over-Year Commits
Stable Stable  

30 Day Statistics
Contributors (Past 30 Days)
No Activity 13 developers  
Commits (Past 30 Days)
No Activity 282 commits  
Files Modified
No Activity 1,834 files  
Lines Added
No Activity 48,704 lines  
Lines Removed
No Activity 268,588 lines  

Code Analysis
Mostly Written In
Scala OCaml  
Comments
Very High Average  
Lines of Code
View as graph
986 lines 335,680 lines  

People
Managers
Position not yet claimed  
Open Hub Users
1 user 20 users  
Open Hub User Rating
0.0
  0.0

Based on 0 user ratings.
4.875
    4.9

Based on 8 user ratings.