| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
15 hrs 58 mins | 2 hrs 39 mins | Lean, JSON, TeX, sh | 🇩🇪 | |
| 2 |
 Anonymous User
|
6 hrs 19 mins | 54 mins | Lean, Typst, Rust, Lua, TypeScript, JSON, Markdown, hyprlang, TOML, … | hireable | 🇨🇳 |
| 3 |
 Alok Singh
|
4 hrs 45 mins | 40 mins | Lean, Python, TypeScript, Markdown, Haskell, Julia, JSON, CSS, TOML, … | hireable | 🇺🇸 |
| 4 |
 Yichen Xu
|
1 hr 11 mins | 11 mins | TeX, Scala, Git, Lean, Org, Bash, BibTeX, Java, OpenEdge ABL | 🇨🇭 | |
| 5 |
 hmyuuu
|
0 secs | 0 secs | TypeScript, Io, Julia, Markdown, Org, Lua, Groff, Astro, reStructuredText, … | 🇨🇳 |
