| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Mateus Aleixo
|
34 mins | 6 mins | Python, TypeScript, Markdown, TeX, YAML, Text, Git Config, PowerShell, CSS, … | hireable | 🇵🇹 |
| 2 |
 Francisco Santos
|
17 mins | 3 mins | OCaml, TypeScript, HTML, Markdown, Coq, lisp, TeX, opam, Embedded Ragel, … | 🇵🇹 | |
| 3 |
 Diogo Lima
|
1 min | 0 secs | Java, Markdown, Python, SQL, Dockerfile, XML, Docker, Properties, YAML, … | 🇵🇹 |
