Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Ritsuka 25 hrs 59 mins 3 hrs 42 mins Isabelle, TeX, YAML, JavaScript, Bash, INI, BibTeX hireable 🇺🇸
2 Xiaokun Luan 6 hrs 59 mins 1 hr 9 mins TeX, Isabelle, Python, JSON, Text, textmate, BibTeX, OCaml, Bash, … hireable 🇨🇳
3 Leonty Chudinov 22 mins 4 mins TypeScript, Python, JSON, HTML, Text, YANG, Isabelle, XML, Markdown, … hireable 🇷🇺