Languages
Analyzed
4 months
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| over 13 years | 1,766 | 224,052 |
Why3
|
1739 |
Why3
|
Nov 2024 | ||||
| over 10 years | 1,285 | 3,006,939 |
Why3
|
1285 |
Why3
|
Nov 2024 | ||||
| over 9 years | 664 | 225,612 |
Why3
|
664 |
Why3
|
Nov 2024 | ||||
| almost 9 years | 468 | 8,969 |
Why3
|
457 |
Why3
|
Nov 2024 | ||||
| over 6 years | 365 | 564,718 |
Why3
|
356 |
Why3
|
Nov 2024 | ||||
| about 7 years | 253 | 5,573 |
Why3
|
253 |
Why3
|
Nov 2024 | ||||
| about 5 years | 237 | 14,314 |
Why3
|
222 |
Why3
|
Dec 2019 | ||||
| about 4 years | 86 | 1,956 |
Why3
|
85 |
Why3
|
Jun 2023 | ||||
| over 2 years | 76 | 7,230 |
Why3
|
76 |
Why3
|
Sep 2022 | ||||
| over 1 year | 47 | 1,991 |
Why3
|
46 |
Why3
|
Jun 2022 | ||||
| about 1 year | 23 | 9,358 |
Why3
|
23 |
Why3
|
Jun 2022 | ||||
| 10 months | 17 | 2,137 |
Why3
|
17 |
Why3
|
Jun 2022 | ||||
| about 1 year | 15 | 1,409 |
Why3
|
15 |
Why3
|
Oct 2024 | ||||
| 8 months | 8 | 121 |
Why3
|
8 |
Why3
|
Nov 2022 | ||||
| 3 months | 3 | 292 |
Why3
|
3 |
Why3
|
Jun 2017 | ||||