Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 2 hrs 30 mins 30 mins Coq, Agda, Bash 🇺🇸
2 Yichen Xu 1 hr 23 mins 11 mins Scala, TeX, Agda, Emacs Lisp, Org, ledger, sbt 🇨🇭