| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
9 hrs 53 mins | 1 hr 58 mins | Lean, TypeScript, sh, Bash, Batchfile, Markdown, JSON, JavaScript, Git Config | 🇩🇪 | |
| 2 |
 Anonymous User
|
6 hrs 51 mins | 1 hr 22 mins | Lean, Kotlin, conf, Java, Markdown, Text, HTML, zsh, Vim Script, … | hireable | 🇨🇳 |
| 3 |
 @themathqueen
|
5 hrs 35 mins | 1 hr 51 mins | Lean | 🇬🇧 | |
| 4 |
 HauHeung
|
5 hrs 33 mins | 1 hr 6 mins | Lean, Emacs Lisp, Org, Git Config | 🇯🇵 | |
| 5 |
 Alok Singh
|
1 hr 55 mins | 16 mins | Swift, Lean, Metal, Rust, Markdown, TOML | hireable | 🇺🇸 |
| 6 |
 hmyuuu
|
1 min | 0 secs | Julia, Python, Markdown, TOML, Text, reStructuredText, JSON, Lean, INI | 🇨🇳 |
