| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Yichen Xu
|
2 hrs 13 mins | 19 mins | Lean, Scala, Org, Git, HTML, TeX, Markdown, Emacs Lisp, Text | 🇨🇭 | |
| 2 |
 Jonathan Melly
|
57 mins | 14 mins | Org, PHP, Emacs Lisp, PowerShell, Markdown, YAML, Git, JavaScript, Blade Template, … | 🇨🇭 |
