The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 @jxpeng98
|
4,722 | GPT (4,722) | Markdown, Rust, Typst, Python, Bash, Svelte, JavaScript, TypeScript, Checksums, … | 🇬🇧 | ||
| 2 |
 vikraman
|
1,560 | Opus (1,331) | Haskell, C, Agda, Typst, JavaScript, TeX, Markdown, Standard ML, Literate Agda, … | hireable | 🇬🇧 |
