Leaderboard · Isabelle · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 1 hr 31 mins 15 mins Python, TeX, Isabelle, Scala, JSON, OCaml, textmate, Markdown, TOML, … hireable 🇨🇳