Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Litao Zhou 42 mins 14 mins OCaml, Abella, Markdown, Bash 🇨🇳