The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
3 hrs 54 mins | 33 mins | Agda, Haskell, SCSS, C, Typst, Standard ML, JavaScript, TeX, Literate Agda, … | hireable | 🇬🇧 |
