The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
4 hrs 36 mins | 39 mins | Agda, Markdown, RMarkdown, TypeScript, Literate Agda, SCSS, Io, CSS, TeX, … | hireable | 🇬🇧 | |
| 2 |
 @Tugamer89
|
22 mins | 11 mins | C, Agda, CMake, Markdown, Git Config | hireable | 🇮🇹 |
