| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Ritsuka
|
25 hrs 24 mins | 4 hrs 14 mins | Isabelle, TeX, Java, IDEA_MODULE, INI, BibTeX, Properties, XML, HTML, … | hireable | 🇺🇸 |
| 2 |
 Xiaokun Luan
|
2 hrs 28 mins | 24 mins | TeX, Python, Isabelle, textmate, C, JSON, Markdown, Lua, BibTeX, … | hireable | 🇨🇳 |
| 3 |
 @Totto
|
12 mins | 1 min | C++, Haskell, TypeScript, Meson, Bash, C, JSON, TeX, Python, … | 🇮🇹 | |
| 4 |
 Leonty Chudinov
|
1 min | 0 secs | TypeScript, Python, JSON, YANG, Markdown, Git, XML, Text, YAML, … | hireable | 🇷🇺 |
