Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @themathqueen 36 hrs 54 mins 6 hrs 9 mins Lean, YAML, Docker, JSON, TeX, Bash, Git Config, Text 🇬🇧
2 Anonymous User 11 hrs 47 mins 1 hr 41 mins Lean, Lua, YAML, Markdown, Agda, C, C#, systemd, TOML, … hireable 🇨🇳
3 Alok Singh 4 hrs 29 mins 38 mins Swift, Lean, Python, Markdown, XML, TypeScript, Io, Rust, Org, … hireable 🇺🇸
4 Yichen Xu 1 hr 53 mins 22 mins Scala, Lean, Org, Rust 🇨🇭