| Programmer | Languages Used | |||||
|---|---|---|---|---|---|---|
| 1 |
 Samuel Okello
|
31 mins | 5 mins | Kotlin, Markdown, Dafny, YAML, Bash, Docker, XML, Text, JSON, … | 🇰🇪 | |
| 2 |
 Matteo Pesenti
|
8 mins | 1 min | Python, TeX, Markdown, SQL, Dafny, Bash, Text, CSV, XML, … | 🇺🇸 | |
| 3 |
 Anonymous User
|
8 mins | 1 min | Python, Markdown, Text, Git Config, Dafny, JSON, Docker | 🇨🇦 |
