| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Potato Hatsue
|
2 hrs 27 mins | 24 mins | Kotlin, Agda, CMake, Nix, textmate, Haskell, C++, Text, XML, … | ||
| 2 |
 @Darkflames
|
19 mins | 4 mins | Markdown, Agda, HTML, YAML | ||
| 3 |
 Jason Gross
|
1 min | 0 secs | Coq, Makefile, Bash, YAML, Markdown, Agda | 🇺🇸 | |
| 4 |
 Matheus
|
0 secs | 0 secs | TypeScript, Go, JSON, YAML, Markdown, Bash, C#, JavaScript, CSS, … | hireable | 🇧🇷 |
