Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated about 4 hours ago | Updated about 15 hours ago | |
|
Homepage
|
why3.lri.fr | github.com | |
|
Project License
|
lgpl | bsd | |
| $8,277,603 | $10,776 | ||
All Time Statistics |
|||
| 99 developers | 1 developer | ||
| 16832 commits | 56 commits | ||
|
Initial Commit
|
over 15 years ago | almost 16 years ago | |
|
Most Recent Commit
|
28 days ago | almost 16 years ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
18 developers | No Activity | |
|
Commits (Past 12 Months)
|
343 commits | No Activity | |
|
Files Modified
|
3,222 files | No Activity | |
|
Lines Added
|
170,750 lines | No Activity | |
|
Lines Removed
|
142,541 lines | No Activity | |
|
Year-Over-Year Commits
|
Decreasing | Stable | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
1 developer | No Activity | |
|
Commits (Past 30 Days)
|
2 commits | No Activity | |
|
Files Modified
|
1 file | No Activity | |
|
Lines Added
|
62 lines | No Activity | |
|
Lines Removed
|
14 lines | No Activity | |
Code Analysis |
|||
| Ruby | Scala | ||
|
Comments
|
Very Low | Very High | |
| 568,268 lines | 986 lines | ||
People |
|||
|
Managers
|
|||
|
Open Hub Users
|
3 users | 1 user | |
|
Open Hub User Rating
|
5.0
Based on 2 user ratings. |
0.0
Based on 0 user ratings. |
|
