Languages
Analyzed
about 16 hours
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| about 14 years | 1,789 | 224,965 |
Why3
|
1762 |
Why3
|
Jun 2025 | ||||
| almost 11 years | 1,287 | 3,008,441 |
Why3
|
1287 |
Why3
|
Mar 2025 | ||||
| over 9 years | 667 | 226,516 |
Why3
|
667 |
Why3
|
Mar 2025 | ||||
| about 9 years | 473 | 8,977 |
Why3
|
462 |
Why3
|
Jun 2025 | ||||
| over 6 years | 367 | 564,718 |
Why3
|
358 |
Why3
|
Jun 2025 | ||||
| about 7 years | 254 | 5,577 |
Why3
|
254 |
Why3
|
Jun 2025 | ||||
| about 5 years | 237 | 14,314 |
Why3
|
222 |
Why3
|
Dec 2019 | ||||
| over 4 years | 90 | 1,970 |
Why3
|
89 |
Why3
|
Jun 2025 | ||||
| over 2 years | 78 | 7,230 |
Why3
|
78 |
Why3
|
Jun 2025 | ||||
| over 1 year | 49 | 1,999 |
Why3
|
48 |
Why3
|
Jun 2025 | ||||
| about 1 year | 25 | 9,358 |
Why3
|
25 |
Why3
|
Jun 2025 | ||||
| about 1 year | 17 | 1,417 |
Why3
|
17 |
Why3
|
Jun 2025 | ||||
| 10 months | 17 | 2,137 |
Why3
|
17 |
Why3
|
Jun 2022 | ||||
| 8 months | 8 | 121 |
Why3
|
8 |
Why3
|
Nov 2022 | ||||
| 3 months | 3 | 292 |
Why3
|
3 |
Why3
|
Jun 2017 | ||||