Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
---|---|---|---|---|---|---|---|---|---|---|
Project | Commits | Project | Commit Month | |||||||
almost 3 years | 452 | 16,839 | bonak | 439 | bonak | Jan 2023 | ||||
about 3 years | 299 | 6,727 | clayoven | 297 | clayoven | Nov 2023 | ||||
about 2 years | 291 | 24,611 | bonak | 291 | bonak | Jan 2024 | ||||
almost 2 years | 103 | 2,586 | Git | 88 | The LLVM Comp... | Dec 2022 | ||||
about 2 years | 178 | 6,574 | Apache Subver... | 80 | The LLVM Comp... | Nov 2023 | ||||
about 1 year | 52 | 2,854 | The LLVM Comp... | 50 | The LLVM Comp... | Apr 2024 | ||||
7 months | 49 | 581 | Apache Subver... | 46 | The LLVM Comp... | Oct 2023 | ||||
4 months | 45 | 4,087 |
F FStar |
45 |
F FStar |
Jul 2019 | ||||
9 months | 50 | 404,758 |
F FStar |
39 | Coq proof ass... | Jan 2023 | ||||
about 1 year | 30 | 223 | Magit | 24 | The LLVM Comp... | Feb 2015 | ||||
over 1 year | 24 | 2,673 | bonak | 11 | bonak | Feb 2022 | ||||
about 1 month | 8 | 102 | Rust (program... | 8 | Rust (program... | Jun 2013 | ||||
7 months | 9 | 1,233 | clayoven | 8 | clayoven | Jan 2024 | ||||
4 months | 7 | 470 | Git | 7 | Git | Jan 2015 | ||||
6 months | 16 | 249 | rtorrent | 7 |
F FStar |
Jul 2019 | ||||
about 1 month | 4 | 42 | MathJax | 4 | MathJax | Mar 2021 | ||||
4 months | 4 | 862 | clayoven | 4 | clayoven | Dec 2022 | ||||
3 months | 4 | 33 | The LLVM Comp... | 3 | The LLVM Comp... | Nov 2015 | ||||
2 months | 3 | 196 | clayoven | 3 | clayoven | Feb 2019 | ||||
3 months | 5 | 62 | Gentoo Linux | 1 |
H HoTT |
Jan 2020 | ||||
about 1 month | 1 | 328 | The LLVM Comp... | 1 | The LLVM Comp... | Feb 2023 | ||||
about 1 month | 1 | 2 | Linux Kernel | 1 | Linux Kernel | Jul 2013 | ||||
about 1 month | 1 | 3 | QEMU | 1 | QEMU | Jul 2013 | ||||
about 1 month | 1 | 3 |
H HoTT |
1 |
H HoTT |
Jan 2020 |