The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
2 hrs 46 mins | 23 mins | Agda, Markdown, JavaScript, Haskell, Python, RMarkdown, TypeScript, Literate Agda, JSON, … | hireable | 🇬🇧 |
