Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 1 hr 2 mins 8 mins Python, Coq, Literate Agda, Bash, Image (svg), Text, Markdown, TeX, OCaml, … 🇺🇸