Leaderboard · Lean · Hireable

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 Chutian Yang 2 mins 0 secs Lean4, Nix, Markdown, TOML, Lua, gitignore, Makefile, Lean hireable