Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 2 hrs 36 mins 26 mins Agda, Coq, YAML, TeX, Bash 🇺🇸