Leaderboard · Isabelle · China · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 1 hr 42 mins 14 mins Python, TeX, Isabelle, Markdown, Scala, JSON, Lua, Bash, Text, … hireable 🇨🇳