Leaderboard · Lean · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 tsrigo 40 mins 10 mins Python, Bash, Lean, Text, YAML, C, Markdown, JSON 🇨🇳
2 @SmileMachine 6 mins 1 min Python, JavaScript, Rust, Java, CSS, HTML, TypeScript, Markdown, JSON, … hireable 🇨🇳