Leaderboard · Isabelle · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 3 hrs 30 mins Python, TeX, Isabelle, textmate, C, JSON, Scala, Markdown, Lua, … hireable 🇨🇳