Leaderboard · Isabelle · China · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 6 hrs 24 mins 1 hr 4 mins TeX, Python, Isabelle, JSON, C, Markdown, textmate, Lua, OCaml, … hireable 🇨🇳