| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
12 hrs 13 mins | 2 hrs 26 mins | Lean, sh, HTML, Batchfile, CSS, Markdown, JSON, Git Config | 🇩🇪 | |
| 2 |
 Anonymous User
|
8 hrs 10 mins | 1 hr 38 mins | Lean, Kotlin, conf, typst, HTML, Markdown, INI | hireable | 🇨🇳 |
| 3 |
 HauHeung
|
5 hrs 33 mins | 1 hr 6 mins | Lean, Emacs Lisp, Org, Git Config | 🇯🇵 | |
| 4 |
 @themathqueen
|
5 hrs 32 mins | 2 hrs 46 mins | Lean | 🇬🇧 | |
| 5 |
 Alok Singh
|
1 hr 41 mins | 14 mins | Swift, Lean, Metal | hireable | 🇺🇸 |
| 6 |
 hmyuuu
|
2 mins | 0 secs | Python, Julia, TOML, Text, Markdown, reStructuredText, JSON, TeX, Lean, … | 🇨🇳 |
