Languages
Analyzed
1 day
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| over 6 years | 2,188 | 153,553 |
Battle for We...
|
1767 |
R Remake |
Jul 2025 | ||||
| over 12 years | 1,263 | 134,216 |
Why3
|
962 |
Coq proof ass...
|
Jan 2026 | ||||
| over 8 years | 490 | 11,337 |
Why3
|
475 |
Why3
|
Apr 2025 | ||||
| almost 8 years | 284 | 10,382 |
Why3
|
240 |
Why3
|
Apr 2026 | ||||
| almost 6 years | 232 | 148,485 |
Why3
|
231 |
Why3
|
Nov 2025 | ||||
| over 7 years | 322 | 507,666 |
Why3
|
230 |
Why3
|
Apr 2026 | ||||
| over 5 years | 231 | 7,338 |
Why3
|
199 |
R Remake |
Jul 2025 | ||||
| about 5 years | 188 | 595,953 |
Why3
|
154 |
Why3
|
Oct 2024 | ||||
| about 5 years | 225 | 33,372 |
Why3
|
140 |
Why3
|
Nov 2025 | ||||
| over 1 year | 111 | 2,670 |
Battle for We...
|
94 |
Battle for We...
|
Dec 2010 | ||||
| over 5 years | 202 | 39,161 |
The Mana Project
|
63 |
Coq proof ass...
|
Jan 2026 | ||||
| almost 3 years | 79 | 1,397 |
Why3
|
58 |
Why3
|
Dec 2024 | ||||
| about 3 years | 99 | 1,921 |
Battle for We...
|
48 |
Why3
|
Feb 2020 | ||||
| over 1 year | 39 | 12,910 |
Why3
|
39 |
Why3
|
Dec 2024 | ||||
| over 1 year | 34 | 723 |
Why3
|
33 |
Why3
|
Dec 2024 | ||||
| over 1 year | 19 | 25 |
Battle for We...
|
16 |
Battle for We...
|
Dec 2010 | ||||
| 11 months | 15 | 151 |
Why3
|
14 |
Why3
|
Oct 2022 | ||||
| 7 months | 13 | 767 |
Why3
|
13 |
Why3
|
Nov 2023 | ||||
| 2 months | 3 | 21 |
Battle for We...
|
3 |
Battle for We...
|
Dec 2010 | ||||
| about 1 month | 1 | 2 |
Coq proof ass...
|
1 |
Coq proof ass...
|
Sep 2015 | ||||
| about 1 month | 1 | 9 |
Coq proof ass...
|
1 |
Coq proof ass...
|
May 2022 | ||||
| about 1 month | 1 | 26 |
Why3
|
1 |
Why3
|
Feb 2020 | ||||
| about 1 month | 1 | 9 |
Coq proof ass...
|
1 |
Coq proof ass...
|
Jul 2019 | ||||