Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 17 hrs 45 mins 2 hrs 32 mins Lean, Markdown, TeX, YAML, JSON, Python, Makefile, Bash, Swift hireable 🇺🇸
2 @kamome 5 hrs 36 mins 1 hr 52 mins Lean, Racket, TeX hireable 🇨🇳
3 Yichen Xu 23 mins 3 mins Markdown, TeX, Python, Scala, Git, Org, Lean, Bash, conf, … 🇨🇭
4 Chutian Yang 2 mins 0 secs Lean4, Nix, Markdown, TOML, Lua, gitignore, Makefile, Lean hireable