| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Yichen Xu
|
9 mins | 1 min | Lean4, Org, TeX, Markdown, Typst, Scala, Emacs Lisp, Makefile, Bash, … | 🇨🇭 | |
| 2 |
 Marcus
|
5 mins | 0 secs | Markdown, TeX, C++, C, Python, Bash, CSV, INI, Git Config, … | 🇨🇭 | |
| 3 |
 Elwan
|
0 secs | 0 secs | Typst, Python, YAML, TypeScript, XML, Markdown, Swift, Go, WebAssembly, … | 🇨🇭 | |
| 4 |
 Yuejia Zhang
|
0 secs | 0 secs | TeX, Text, Markdown, MATLAB, BibTeX, Git Config, Objective-C, Makefile | 🇨🇭 |
