Leaderboard · Lean · Hireable

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