Leaderboard · Isabelle · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 41 mins 6 mins Python, TeX, Markdown, Isabelle, OCaml, JSON, Lua, textmate, C, … hireable 🇨🇳
2 Leonty Chudinov 20 mins 2 mins JavaScript, TypeScript, XML, Docker, JSON, Markdown, Isabelle, YAML, HTML, … hireable 🇷🇺