| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Pedro Pinheiro
|
13 mins | 3 mins | C, Makefile, Objective-C | 🇨🇭 | |
| 2 |
 @markbeep
|
0 secs | 0 secs | Docker, Bash, Jsonnet, Python, fish, JSON, JavaScript, TOML, Markdown, … | 🇨🇭 | |
| 3 |
 Yichen Xu
|
0 secs | 0 secs | Lean4, TeX, Python, Lean, Org, Coq, Scala, Git, sshconfig, … | 🇨🇭 | |
| 4 |
 @0xOnyx
|
0 secs | 0 secs | TypeScript, YAML, JavaScript, Python, HTML, Java, Markdown, GitIgnore file, Text, … | 🇨🇭 |
