| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Sergio Bonatto
|
20 hrs 31 mins | 2 hrs 55 mins | Agda, Vim Script, Markdown, Text, JavaScript, Bash, bend, Python | hireable | 🇧🇷 |
| 2 |
 vikraman
|
11 hrs 25 mins | 1 hr 37 mins | TeX, Agda, BibTeX, OpenEdge ABL, Literate Agda | hireable | 🇮🇹 |
| 3 |
 Anillc
|
26 mins | 13 mins | Nix, Agda, Meson, YAML, C++, Bash | 🇨🇳 | |
| 4 |
 Francisco Santos
|
1 min | 0 secs | TypeScript, JavaScript, Nix, conf, Text, JSON, Bash, OCaml, HTML, … | 🇵🇹 |
