Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 5 hrs 50 mins 1 hr 10 mins Lean, Python, TypeScript, JSON, Agda, Lua, zsh, sh, TOML, … hireable 🇺🇸
2 VTrelat 2 hrs 5 mins 31 mins JavaScript, Lean, HTML, sh, CSS, TypeScript, Git, Markdown 🇩🇪
3 Anonymous User 8 mins 1 min TeX, Typst, Markdown, sh, Lean, hyprlang, Bash, Haskell, YAML, … hireable 🇨🇳