The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 Jay
|
1 hr 11 mins | 14 mins | TeX, JSON, Markdown, TypeScript, Python, Git Config, Docker, Text, Jinja2, … | hireable | 🇬🇧 | |
| 2 |
 vikraman
|
28 mins | 4 mins | Haskell, C, Agda, Typst, JavaScript, TeX, Markdown, Standard ML, Literate Agda, … | hireable | 🇬🇧 |
