Programmer | Languages Used | |||||
---|---|---|---|---|---|---|
1 | vikraman | 20 hrs 55 mins | 2 hrs 59 mins | TeX, Agda, BibTeX, OpenEdge ABL, Literate Agda | hireable | 🇮🇹 |
2 | Paolo De Angelis | 3 hrs 25 mins | 29 mins | Python, TeX, Bash, JSON, BibTeX | hireable | 🇮🇹 |
3 | Federico Zappone | 55 mins | 7 mins | TypeScript, Org, Python, TeX, JSON, TOML, Bash, Figma Design, Docker, … | hireable | 🇮🇹 |
4 | Gianluca | 52 mins | 52 mins | C++, TeX, CMake | hireable | 🇮🇹 |
5 | Leonard | 50 mins | 25 mins | TeX, JavaScript, JSON, Python, Bash, YAML, BibTeX | hireable | 🇮🇹 |