| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| almost 3 years | 453 | 16,872 |
bonak
|
440 |
bonak
|
Oct 2024 | ||||
| about 3 years | 307 | 6,819 |
clayoven
|
305 |
clayoven
|
Aug 2024 | ||||
| about 2 years | 293 | 24,736 |
bonak
|
293 |
bonak
|
Oct 2024 | ||||
| almost 2 years | 148 | 15,307 |
The LLVM Comp...
|
144 |
The LLVM Comp...
|
Dec 2024 | ||||
| about 2 years | 105 | 2,599 |
Git
|
88 |
bonak
|
Oct 2024 | ||||
| over 2 years | 180 | 6,577 |
Apache Subver...
|
80 |
The LLVM Comp...
|
Jul 2024 | ||||
| 8 months | 50 | 594 |
Apache Subver...
|
46 |
The LLVM Comp...
|
Jul 2024 | ||||
| 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 | 11 | 83 |
The LLVM Comp...
|
8 |
The LLVM Comp...
|
Aug 2024 | ||||
| 7 months | 9 | 1,233 |
clayoven
|
8 |
clayoven
|
Jan 2024 | ||||
| 5 months | 8 | 474 |
Git
|
7 |
alive2
|
Nov 2024 | ||||
| 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 | ||||
| about 2 months | 3 | 196 |
clayoven
|
3 |
clayoven
|
Feb 2019 | ||||
| about 1 month | 1 | 3 |
H HoTT |
1 |
H HoTT |
Jan 2020 | ||||
| 3 months | 5 | 62 |
Gentoo Linux
|
1 |
H HoTT |
Jan 2020 | ||||
| about 1 month | 1 | 3 |
QEMU
|
1 |
QEMU
|
Jul 2013 | ||||
| about 1 month | 1 | 2 |
Linux Kernel
|
1 |
Linux Kernel
|
Jul 2013 | ||||
| about 1 month | 1 | 328 |
The LLVM Comp...
|
1 |
The LLVM Comp...
|
Feb 2023 | ||||