| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Francisco Santos
|
6 mins | 1 min | OCaml, HTML, TypeScript, TeX, Reason, C#, Markdown, Coq, XML, … | 🇵🇹 | |
| 2 |
 João Alves
|
2 mins | 0 secs | C, Text, C++, Ruby, Kotlin, Shell, Java Properties, Properties, sshconfig, … | 🇵🇹 |
