Languages
Analyzed
about 16 hours
ago
| Language | Aggregate Coding Time |
Total Commits |
Total Lines Changed |
Most Commits: | Most Recent Commit: | |||||
|---|---|---|---|---|---|---|---|---|---|---|
| Project | Commits | Project | Commit Month | |||||||
| about 17 years | 4,571 | 1,319,654 |
T TLA+ |
3742 |
T TLA+ |
May 2026 | ||||
| over 8 years | 1,397 | 12,708 |
T TLA+ |
1132 |
T TLA+ |
Jun 2024 | ||||
| about 13 years | 1,533 | 7,325,744 |
T TLA+ |
747 |
T TLA+ |
Apr 2026 | ||||
| over 3 years | 262 | 4,873 |
T TLA+ |
261 |
T TLA+ |
Mar 2026 | ||||
| over 4 years | 146 | 127,777 |
T TLA+ |
86 |
T TLA+ |
Jan 2022 | ||||
| 8 months | 18 | 652 |
T TLA+ |
18 |
T TLA+ |
Sep 2025 | ||||
| about 1 year | 25 | 2,507 |
T TLA+ |
17 |
T TLA+ |
Jan 2022 | ||||
| 7 months | 14 | 4,588 |
T TLA+ |
13 |
T TLA+ |
Apr 2024 | ||||
| 10 months | 13 | 2,771 |
T TLA+ |
13 |
T TLA+ |
Apr 2026 | ||||
| 6 months | 13 | 276 |
T TLA+ |
13 |
T TLA+ |
Aug 2023 | ||||
| 6 months | 13 | 315 |
R rss-extender |
12 |
R rss-extender |
Mar 2013 | ||||
| 8 months | 11 | 4,981 |
T TLA+ |
10 |
T TLA+ |
Nov 2023 | ||||
| 3 months | 4 | 276 |
E Eclipse Commu... |
4 |
E Eclipse Commu... |
Mar 2016 | ||||
| 3 months | 4 | 2,291 |
T TLA+ |
4 |
T TLA+ |
Nov 2025 | ||||
| 2 months | 4 | 268 |
T TLA+ |
4 |
T TLA+ |
Jan 2015 | ||||
| about 1 month | 2 | 994 |
T TLA+ |
2 |
T TLA+ |
Sep 2017 | ||||
| about 1 month | 2 | 314 |
T TLA+ |
2 |
T TLA+ |
Sep 2017 | ||||
| about 1 month | 1 | 97 |
T TLA+ |
1 |
T TLA+ |
May 2016 | ||||
| about 1 month | 1 | 540 |
E Eclipse Commu... |
1 |
E Eclipse Commu... |
Jul 2010 | ||||