| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Alok Singh
|
5 hrs 50 mins | 1 hr 10 mins | Lean, Python, TypeScript, JSON, Agda, Lua, zsh, sh, TOML, … | hireable | 🇺🇸 |
| 2 |
 VTrelat
|
2 hrs 5 mins | 31 mins | JavaScript, Lean, HTML, sh, CSS, TypeScript, Git, Markdown | 🇩🇪 | |
| 3 |
 Anonymous User
|
8 mins | 1 min | TeX, Typst, Markdown, sh, Lean, hyprlang, Bash, Haskell, YAML, … | hireable | 🇨🇳 |
