The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 Karim Abbas
|
10,541 | Grok (10,098) | Markdown, Python, Text, Bash, CSV, JSON, YAML, Image (png), Git Config, … | 🇬🇧 | ||
| 2 |
 vikraman
|
1,560 | Opus (1,331) | Haskell, C, Agda, Typst, JavaScript, TeX, Markdown, Standard ML, Literate Agda, … | hireable | 🇬🇧 |
