Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 21 mins 3 mins Python, Bash, Coq, Makefile, TeX, YAML, Markdown 🇺🇸