Languages
Analyzed
about 8 hours
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| over 14 years | 1,796 | 225,177 |
Why3
|
1769 |
Why3
|
Apr 2026 | ||||
| over 11 years | 1,317 | 3,043,501 |
Why3
|
1317 |
Why3
|
May 2026 | ||||
| about 10 years | 684 | 227,394 |
Why3
|
684 |
Why3
|
May 2026 | ||||
| about 9 years | 474 | 9,009 |
Why3
|
463 |
Why3
|
Apr 2026 | ||||
| over 6 years | 369 | 564,740 |
Why3
|
360 |
Why3
|
Apr 2026 | ||||
| over 7 years | 263 | 5,618 |
Why3
|
263 |
Why3
|
Dec 2025 | ||||
| about 5 years | 237 | 14,314 |
Why3
|
222 |
Why3
|
Dec 2019 | ||||
| over 4 years | 91 | 1,985 |
Why3
|
90 |
Why3
|
Apr 2026 | ||||
| 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 | ||||
| over 1 year | 18 | 1,419 |
Why3
|
18 |
Why3
|
Oct 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 | ||||