Leaderboard · Lean · China · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @kamome 16 hrs 20 mins 2 hrs 20 mins Lean, Markdown, Typst, TeX, Makefile, YAML, BST, Bash, TOML, … hireable 🇨🇳
2 @montmorill 7 hrs 18 mins 1 hr 13 mins Lean, JSON, JavaScript, Python, C, XML, Git Config hireable 🇨🇳