Leaderboard · Isabelle · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 25 mins 5 mins Python, Markdown, OCaml, JSON, Isabelle, Text, INI, Bash, TOML, … hireable 🇨🇳