The front page of this leaderboard, delivered every Monday. No other emails.
| Programmer | Languages Used | ||||||
|---|---|---|---|---|---|---|---|
| 1 |
 VTrelat
|
7,581 | GPT (7,562) | Markdown, Python, TeX, Lean4, Makefile, BibTeX, YAML, TOML, B (Formal Method) | 🇩🇪 | ||
| 2 |
 Sascha
|
1,457 | Fable (1,457) | TeX, Text, Markdown, BibTeX, Python, Rust | hireable | 🇩🇪 | |
| 3 |
 Tobias Goetz
|
1,355 | Opus (1,030) | YAML, Markdown, Text, TeX, Python, Image (png), SSH Config, JSON, Bash, … | hireable | 🇩🇪 | |
| 4 |
 marc55s
|
708 | Claude (708) | TeX, Nix, Markdown, YAML, Python, Image (svg), Text, Bash, JSON, … | 🇩🇪 |
