| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 vikraman
|
5,739 | Claude (5,276) | Agda, TeX, Markdown, Lean4, Bash, RMarkdown, BibTeX, Makefile, Groff, … | hireable | 🇬🇧 | |
| 2 |
 KevinZonda
|
2,985 | Claude (2,933) | Python, TeX, Go, YAML, Image (png), JSON, Bash, Markdown, BibTeX, … | 🇬🇧 | ||
| 3 |
 Jay
|
337 | Copilot (337) | Python, TypeScript, Markdown, TeX, Text, TOML, Git Config, JSON, JavaScript, … | hireable | 🇬🇧 |
