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