Compare Projects
Export to CSV
General |
|||
|---|---|---|---|
|
Project Activity
|
|||
|
Open Hub Data Quality
|
Updated 12 months ago | Updated 12 months ago | |
|
Homepage
|
why3.lri.fr | divine.fi.muni.cz | |
|
Project License
|
lgpl | bsd_2clause_ish | |
| $7,764,477 | $2,628,698 | ||
All Time Statistics |
|||
| 91 developers | 42 developers | ||
| 16140 commits | 16120 commits | ||
|
Initial Commit
|
about 15 years ago | almost 19 years ago | |
|
Most Recent Commit
|
12 months ago | over 2 years ago | |
12 Month Statistics |
|||
|
Contributors (Past 12 Months)
|
22 developers | No Activity | |
|
Commits (Past 12 Months)
|
550 commits | No Activity | |
|
Files Modified
|
3,521 files | No Activity | |
|
Lines Added
|
592,391 lines | No Activity | |
|
Lines Removed
|
635,663 lines | No Activity | |
|
Year-Over-Year Commits
|
Decreasing | Decreasing | |
30 Day Statistics |
|||
|
Contributors (Past 30 Days)
|
6 developers | No Activity | |
|
Commits (Past 30 Days)
|
19 commits | No Activity | |
|
Files Modified
|
60 files | No Activity | |
|
Lines Added
|
244 lines | No Activity | |
|
Lines Removed
|
94 lines | No Activity | |
Code Analysis |
|||
| Ruby | C++ | ||
|
Comments
|
Very Low | Average | |
| 534,630 lines | 184,443 lines | ||
People |
|||
|
Managers
|
|||
|
Open Hub Users
|
3 users | 3 users | |
|
Open Hub User Rating
|
5.0
Based on 2 user ratings. |
0.0
Based on 0 user ratings. |
|
