Languages
Analyzed
3 months
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| about 4 years | 996 | 179,438 |
M Motoko |
995 |
M Motoko |
Jun 2023 | ||||
| over 1 year | 787 | 322,677 |
H hs-to-coq |
785 |
H hs-to-coq |
Mar 2020 | ||||
| over 7 years | 836 | 8,772 |
M Motoko |
379 |
T The Tiptoi Tool |
Jul 2023 | ||||
| over 10 years | 2,255 | 343,896 |
I ic-hs |
369 |
H haskell-candid |
Oct 2023 | ||||
| over 4 years | 484 | 31,351 |
K KITPraktomat |
320 |
T The Tiptoi Tool |
Dec 2022 | ||||
| over 4 years | 722 | 19,891 |
M Motoko |
279 |
T The Tiptoi Tool |
Jul 2023 | ||||
| over 1 year | 249 | 34,138 |
M Motoko |
249 |
M Motoko |
Oct 2019 | ||||
| about 6 years | 470 | 30,757 |
H hs-to-coq |
247 |
U udp-broadcast... |
Jan 2022 | ||||
| about 4 years | 418 | 224,645 |
T The Incredibl... |
222 |
T The Incredibl... |
May 2023 | ||||
| over 2 years | 227 | 96,175 |
M Motoko |
221 |
M Motoko |
Jun 2023 | ||||
| over 5 years | 356 | 4,894 |
GHC
|
199 |
GHC
|
Apr 2022 | ||||
| over 1 year | 132 | 8,578 |
Widelands
|
106 |
L lean |
Jan 2025 | ||||
| over 4 years | 372 | 97,641 |
K KITPraktomat |
105 |
T The Incredibl... |
May 2023 | ||||
| almost 4 years | 170 | 199,625 |
M Motoko |
67 |
L lean |
Dec 2024 | ||||
| almost 3 years | 121 | 23,541 |
G Gipeda |
43 |
M Motoko |
Jun 2020 | ||||
| 6 months | 27 | 1,959 |
L lean |
27 |
L lean |
Jan 2025 | ||||
| 10 months | 50 | 4,609 |
I interface-spec |
22 |
R RustPython |
Jan 2021 | ||||
| over 1 year | 37 | 759 |
GHC
|
21 |
NixOS
|
Oct 2021 | ||||
| 3 months | 11 | 777 |
C conteq |
11 |
C conteq |
Jul 2015 | ||||
| 6 months | 7 | 144 |
GHC
|
7 |
GHC
|
Apr 2022 | ||||
| 7 months | 9 | 101 |
GHC
|
6 |
GHC
|
Mar 2021 | ||||
| 4 months | 8 | 176 |
H hs-to-coq |
4 |
H hs-to-coq |
Jun 2018 | ||||
| about 1 month | 3 | 1,743 |
K KITPraktomat |
3 |
K KITPraktomat |
Feb 2014 | ||||
| about 1 month | 4 | 48 |
P Pdf Presenter... |
2 |
P Pdf Presenter... |
Mar 2010 | ||||
| 5 months | 5 | 303 |
M Motoko |
2 |
M Motoko |
Oct 2019 | ||||
| 2 months | 2 | 312 |
M Motoko |
2 |
M Motoko |
Apr 2021 | ||||
| 2 months | 2 | 258 |
T The Tiptoi Tool |
2 |
T The Tiptoi Tool |
Feb 2015 | ||||
| about 1 month | 2 | 14 |
GNOME
|
1 |
GNOME
|
Jul 2010 | ||||
| about 1 month | 1 | 4 |
K KITPraktomat |
1 |
K KITPraktomat |
Sep 2014 | ||||
| about 1 month | 1 | 5 |
S Serna Free |
1 |
S Serna Free |
Nov 2009 | ||||
| about 1 month | 1 | 18 |
Widelands
|
1 |
Widelands
|
Oct 2010 | ||||