The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
15 hrs 26 mins | 2 hrs 12 mins | Agda, Markdown, YAML, RMarkdown, JavaScript, Python, Literate Agda, Nix, Text, … | hireable | 🇬🇧 | |
| 2 |
 @Tugamer89
|
4 hrs 28 mins | 1 hr 7 mins | Agda, C, Markdown, Git Config | hireable | 🇮🇹 |
