| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Pierre Le Guen
|
10 hrs 35 mins | 1 hr 46 mins | Rust, YAML, Markdown, Python, TOML, Docker, SQL, Bash, Git Config, … | 🇨🇭 | |
| 2 |
 Timo Schlumpf
|
18 mins | 6 mins | C, Text, Rust, Markdown, Makefile, TypeScript, JSON | hireable | 🇨🇭 |
| 3 |
 Yichen Xu
|
6 mins | 0 secs | Lean4, Scala, Lean, Org, Git, Markdown, Rust, Emacs Lisp, Text, … | 🇨🇭 |
