Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated about 8 hours ago | Updated about 19 hours ago | |
|
Homepage
|
github.com | github.com | |
|
Project License
|
No Data | No Data | |
| $452,738 | $715,471 | ||
All Time Statistics |
|||
| 50 developers | 1 developer | ||
| 3664 commits | 1403 commits | ||
|
Initial Commit
|
over 8 years ago | almost 12 years ago | |
|
Most Recent Commit
|
12 days ago | over 2 years ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
23 developers | No Activity | |
|
Commits (Past 12 Months)
|
496 commits | No Activity | |
|
Files Modified
|
480 files | No Activity | |
|
Lines Added
|
57,895 lines | No Activity | |
|
Lines Removed
|
51,997 lines | No Activity | |
|
Year-Over-Year Commits
|
Decreasing | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
3 developers | No Activity | |
|
Commits (Past 30 Days)
|
13 commits | No Activity | |
|
Files Modified
|
17 files | No Activity | |
|
Lines Added
|
55 lines | No Activity | |
|
Lines Removed
|
40 lines | No Activity | |
Code Analysis |
|||
| coq | Haskell | ||
|
Comments
|
Low | Very High | |
| 34,581 lines | 53,685 lines | ||
People |
|||
|
Managers
|
Position not yet claimed | Position not yet claimed | |
|
Open Hub Users
|
1 user | 1 user | |
|
Open Hub User Rating
|
0.0
Based on 0 user ratings. |
0.0
Based on 0 user ratings. |
|