| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Marcus
|
5 hrs 39 mins | 48 mins | Markdown, TeX, Python, JSON, Git Config, HTML | 🇨🇭 | |
| 2 |
 Lionel Ding
|
3 hrs 24 mins | 29 mins | TypeScript, Python, TeX, Bash, Prisma, SQL, JSON, YAML, HTML, … | 🇨🇭 | |
| 3 |
 Yuejia Zhang
|
1 hr 54 mins | 57 mins | TeX, BibTeX | 🇨🇭 | |
| 4 |
 Elwan
|
18 mins | 2 mins | TypeScript, Python, YAML, Markdown, Svelte, Docker, HTML, TOML, JavaScript, … | 🇨🇭 | |
| 5 |
 Yichen Xu
|
5 mins | 0 secs | Lean4, Lean, Git, Text, Emacs Lisp, SSH Config, TeX, Typst, Scala, … | 🇨🇭 |
