Leaderboard · Lean 4 · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 hmyuuu 0 secs 0 secs Julia, Astro, aspx-vb, Lua, Typst, YAML, Markdown, Jupyter Notebook, Zig, … 🇨🇳