Leaderboard · Lean · Hireable

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 kAIto47802 35 mins 5 mins Python, TeX, Bash, Lean, Text, BibTeX, TOML, JSON, Markdown, … hireable 🇯🇵