Leaderboard · Lean · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anonymous User 6 hrs 19 mins 54 mins Lean, Typst, Rust, Lua, TypeScript, JSON, Markdown, hyprlang, TOML, … hireable 🇨🇳
2 hmyuuu 0 secs 0 secs TypeScript, Io, Julia, Markdown, Org, Lua, Groff, Astro, reStructuredText, … 🇨🇳