Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
---|---|---|---|---|---|---|---|---|---|---|
Project | Commits | Project | Commit Month | |||||||
about 13 years | 1,756 | 223,475 | Why3 | 1729 | Why3 | Jan 2024 | ||||
about 10 years | 1,257 | 2,977,959 | Why3 | 1257 | Why3 | Apr 2024 | ||||
almost 9 years | 645 | 223,664 | Why3 | 645 | Why3 | Apr 2024 | ||||
almost 9 years | 467 | 8,967 | Why3 | 456 | Why3 | May 2023 | ||||
about 6 years | 361 | 560,423 | Why3 | 352 | Why3 | Jan 2023 | ||||
almost 7 years | 251 | 5,566 | Why3 | 251 | Why3 | Feb 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 | 14 | 1,403 | Why3 | 14 | Why3 | Feb 2024 | ||||
8 months | 8 | 121 | Why3 | 8 | Why3 | Nov 2022 | ||||
3 months | 3 | 292 | Why3 | 3 | Why3 | Jun 2017 |