| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Alok Singh
|
16 hrs 8 mins | 2 hrs 18 mins | Lean, Markdown, TeX, JSON, Makefile, C++, YAML | hireable | 🇺🇸 |
| 2 |
 @kamome
|
9 hrs 19 mins | 1 hr 33 mins | Lean, Markdown, Makefile, Racket, TOML, JSON, TeX, Git Config | hireable | 🇨🇳 |
| 3 |
 Yichen Xu
|
14 mins | 2 mins | TeX, Git, Scala, Org, Lean, Markdown, Python, Emacs Lisp | 🇨🇭 |
