| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 HauHeung
|
6 hrs 18 mins | 1 hr 15 mins | Lean | 🇯🇵 | |
| 2 |
 @themathqueen
|
5 hrs 35 mins | 1 hr 51 mins | Lean | 🇬🇧 | |
| 3 |
 Anonymous User
|
4 hrs 46 mins | 57 mins | Lean, Kotlin, Text, Java, Markdown, conf, zsh, Vim Script | hireable | 🇨🇳 |
| 4 |
 VTrelat
|
3 hrs 7 mins | 37 mins | Lean, TypeScript, Makefile, sh, JSON, Markdown, Bash, Git Config, Batchfile, … | 🇩🇪 | |
| 5 |
 Alok Singh
|
2 hrs 2 mins | 17 mins | Swift, Lean, Metal, Rust, Markdown, TOML | hireable | 🇺🇸 |
| 6 |
 WONG Yee-young
|
1 hr 17 mins | 1 hr 17 mins | Lean | 🇨🇳 | |
| 7 |
 hmyuuu
|
0 secs | 0 secs | Julia, Python, Markdown, TOML, Text, reStructuredText, JSON, INI, Lean | 🇨🇳 |
