| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Yichen Xu
|
50 mins | 7 mins | TeX, Lean4, Lean, Typst, Git, Org, Markdown, Scala, Python, … | 🇨🇭 | |
| 2 |
 @0xOnyx
|
22 mins | 5 mins | TypeScript, Scala, GitIgnore file, Bash, Text, Shell Script, HTML, Java Properties, JavaScript, … | 🇨🇭 |
