General |
|||
---|---|---|---|
Project Activity
|
|||
Open Hub Data Quality
|
Updated 10 months ago | Updated 29 days ago | |
Homepage
|
github.com | github.com | |
Project License
|
apache_2 | gnu3 | |
$2,338,564,965 | $81,027,477 | ||
All Time Statistics |
|||
70 developers | 1 developer | ||
9854 commits | 125 commits | ||
Initial Commit
|
over 12 years ago | over 3 years ago | |
Most Recent Commit
|
about 1 year ago | about 3 years ago | |
12 Month Statistics |
|||
Contributors (Past 12 Months)
|
2 developers | No Activity | |
Commits (Past 12 Months)
|
2 commits | No Activity | |
Files Modified
|
1 file | No Activity | |
Lines Added
|
0 lines | No Activity | |
Lines Removed
|
0 lines | No Activity | |
Year-Over-Year Commits
|
Stable | Stable | |
30 Day Statistics |
|||
Contributors (Past 30 Days)
|
2 developers | No Activity | |
Commits (Past 30 Days)
|
2 commits | No Activity | |
Files Modified
|
1 file | No Activity | |
Lines Added
|
0 lines | No Activity | |
Lines Removed
|
0 lines | No Activity | |
Code Analysis |
|||
coq | VHDL | ||
Comments
|
Average | Very Low | |
121,598,721 lines | 4,932,159 lines | ||
People |
|||
Managers
|
|||
Open Hub Users
|
2 users | 0 users | |
Open Hub User Rating
|
0.0
Based on 0 user ratings. |
0.0
Based on 0 user ratings. |