Leaderboard · Isabelle

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Ritsuka 15 hrs 58 mins 2 hrs 39 mins Isabelle, YAML, JavaScript, Scala, Java Properties, Java, Properties hireable 🇺🇸
2 Xiaokun Luan 12 hrs 37 mins 1 hr 48 mins TeX, Isabelle, JSON, Python, Text, BibTeX, OCaml, Markdown, Standard ML, … hireable 🇨🇳
3 @Totto 35 mins 5 mins C++, Haskell, Meson, TypeScript, JavaScript, SCSS, JSON, YAML, Isabelle, … 🇮🇹
4 Leonty Chudinov 17 mins 2 mins TypeScript, HTML, YANG, Text, JSON, Isabelle, XML, Bash, C++, … hireable 🇷🇺
5 Jashank Jeremy 9 mins 1 min Python, C++, M4, Bash, C, Isabelle, LLVM, Objective-C 🇦🇺