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