Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 9 hrs 53 mins 1 hr 24 mins Lean, Python, TypeScript, JSON, SSH Key, TOML, Lua, Markdown, Makefile, … hireable 🇺🇸
2 Jason Gross 2 hrs 55 mins 25 mins Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … 🇺🇸
3 @ZBrachinara 10 mins 5 mins Typst, Rust, JSON, Lean 🇺🇸