Leaderboard · Lean · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 6 hrs 51 mins 1 hr 22 mins Lean, Kotlin, conf, Java, Markdown, Text, HTML, zsh, Vim Script, … hireable 🇨🇳
2 hmyuuu 1 min 0 secs Julia, Python, Markdown, TOML, Text, reStructuredText, JSON, Lean, INI 🇨🇳