| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Alok Singh
|
17 hrs 45 mins | 2 hrs 32 mins | Lean, Markdown, TeX, YAML, JSON, Python, Makefile, Bash, Swift | hireable | 🇺🇸 |
| 2 |
 @kamome
|
5 hrs 36 mins | 1 hr 52 mins | Lean, Racket, TeX | hireable | 🇨🇳 |
| 3 |
 Yichen Xu
|
23 mins | 3 mins | Markdown, TeX, Python, Scala, Git, Org, Lean, Bash, conf, … | 🇨🇭 | |
| 4 |
 Chutian Yang
|
2 mins | 0 secs | Lean4, Nix, Markdown, TOML, Lua, gitignore, Makefile, Lean | hireable |
