Leaderboard · Lean · Japan · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 kAIto47802 35 mins 5 mins Python, TeX, Bash, Lean, Text, BibTeX, TOML, JSON, Markdown, … hireable 🇯🇵