The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
54 mins | 7 mins | Agda, Haskell, C, Standard ML, Typst, TeX, Literate Agda, YAML, OpenEdge ABL, … | hireable | 🇬🇧 |
