| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
14 hrs 40 mins | 2 hrs 26 mins | Lean, TeX, JSON, sh | 🇩🇪 | |
| 2 |
 Alok Singh
|
6 hrs 36 mins | 56 mins | Lean, Python, Haskell, Markdown, Julia, TOML, Swift | hireable | 🇺🇸 |
| 3 |
 Anonymous User
|
3 hrs 57 mins | 33 mins | Lean, Typst, Rust, Lua, TypeScript, hyprlang, JSON, Markdown, TOML, … | hireable | 🇨🇳 |
| 4 |
 Yichen Xu
|
1 hr 42 mins | 14 mins | TeX, Scala, Lean, Git, Org, Bash, BibTeX, Java, OpenEdge ABL | 🇨🇭 | |
| 5 |
 hmyuuu
|
33 mins | 4 mins | TypeScript, Lean, Io, Markdown, Julia, Lua, Org, Typst, Groff, … | 🇨🇳 |
