Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 | vikraman | 13 hrs 14 mins | 2 hrs 12 mins | Agda, TeX, Org, Text, Git, BibTeX, Ruby | hireable | 🇮🇹 |
2 | Sergio Bonatto | 2 hrs 42 mins | 27 mins | GDScript3, Agda, Vim Script, Bash, CSS, Text, JavaScript, bend, Git Config, … | hireable | 🇧🇷 |
3 | Alok Singh | 10 mins | 2 mins | Lean, Text, Python, TypeScript, JSON, Agda, Lua, gitignore, Markdown, … | hireable | 🇺🇸 |
4 | Francisco Santos | 2 mins | 0 secs | TypeScript, OCaml, JavaScript, Lua, JSON, Text, Agda, Markdown | 🇵🇹 |