Leaderboard · Lean · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 10 hrs 1 hr 40 mins Lean, Markdown, YAML, JSON, Python, Makefile, Bash, Swift hireable 🇺🇸
2 @kamome 3 hrs 29 mins 1 hr 9 mins Lean, Racket, TeX hireable 🇨🇳
3 Chutian Yang 32 mins 4 mins Lean4, Markdown, Lean, Nix, Lua, TOML hireable