| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Yichen Xu
|
5 mins | 0 secs | Lean4, Lean, Git, Emacs Lisp, SSH Config, Typst, Scala, fish, TOML | 🇨🇭 | |
| 2 |
 Jonathan Russ
|
0 secs | 0 secs | YAML, HTTP Request, Groff, Python, Bash, Markdown, JSON, INI, Cheetah, … | 🇨🇭 | |
| 3 |
 @markbeep
|
0 secs | 0 secs | Python, C, Bash, Markdown, HTML, TOML, YAML, Promela, Jsonnet, … | 🇨🇭 |
