Leaderboard · Isabelle

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Xiaokun Luan 7 mins 1 min Python, TeX, JSON, Scala, textmate, OCaml, Protocol Buffer, Isabelle, Bash, … hireable 🇨🇳
2 Simon 0 secs 0 secs Vue.js, TypeScript, Scala, Markdown, JSON, HTML, Isabelle, Git Config, CSS, …