Leaderboard · Lean · China · Hireable

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 🇨🇳