| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Yichen Xu
|
2 hrs 12 mins | 18 mins | TeX, Lean, Coq, Git, Org, TOML, Emacs Lisp, BibTeX, Python, … | 🇨🇭 | |
| 2 |
 Jonathan Melly
|
28 mins | 4 mins | Org, C#, Emacs Lisp, Markdown, Binary, Git, Text, Git Config | 🇨🇭 | |
| 3 |
 Richard
|
24 mins | 3 mins | Bash, YAML, JSON, Git Config, Git, JavaScript, Text, Java, Markdown, … | hireable | 🇨🇭 |
