Leaderboard · Lean · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 11 hrs 19 mins 1 hr 37 mins Lean, Markdown, Swift, C, JSON, Git Config, TOML hireable 🇺🇸
2 @kamome 7 hrs 17 mins 1 hr 49 mins Lean, Markdown hireable 🇨🇳
3 @montmorill 5 hrs 52 mins 1 hr 10 mins Lean, Rust, TOML, CSS, JSON, Markdown, Git Config hireable 🇨🇳
4 Chutian Yang 3 hrs 25 mins 29 mins Markdown, Lua, Lean, JavaScript, Rust, gitignore, Text, TOML, markdown_inline hireable
5 Kitsune Kiriha 1 hr 20 mins 11 mins TypeScript, Python, JavaScript, Rust, HTML, JSON, C, Lean, Markdown, … hireable 🇨🇳
6 kAIto47802 1 hr 5 mins 9 mins Python, Bash, Text, TeX, Lean, C++, Markdown, JSON hireable 🇯🇵
7 Yunzhang Tan 1 min 0 secs Text, Markdown, Python, Lean, JSON, Batchfile, YAML, HTML hireable 🇨🇳