| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
22 hrs 20 mins | 5 hrs 35 mins | Agda, Git, Org | hireable | 🇮🇹 |
| 2 |
 Sergio Bonatto
|
2 hrs 42 mins | 27 mins | kind, Agda, JavaScript, bend, Vim Script, Python, todo, Haskell, Markdown, … | hireable | 🇧🇷 |
| 3 |
 Anillc
|
9 mins | 1 min | Nix, Markdown, TypeScript, YAML, Haskell, JSON, Bash, JavaScript, Git Config, … | 🇨🇳 | |
| 4 |
 Jason Gross
|
0 secs | 0 secs | Python, OCaml, Bash, Markdown, Coq, HTML, Docker, BibTeX, Text, … | 🇺🇸 |
