| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Yichen Xu
|
1 hr 12 mins | 12 mins | Lean4, TeX, Scala, Git, Lean, Python, Org, Markdown, JSON, … | 🇨🇭 | |
| 2 |
 Sven Bledt
|
0 secs | 0 secs | TypeScript, JSON, YAML, Bash, Markdown, Docker, Lua, JavaScript, SQL, … | hireable | 🇨🇭 |
| 3 |
 Fariol Blondeau
|
0 secs | 0 secs | TypeScript, Java, Bash, Prisma, JavaScript, JSON, XML, Markdown, Text, … | hireable | 🇨🇭 |
