Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 15 mins 2 mins TeX, Markdown, Image (svg), Literate Agda, Python, Agda, HTML, Text 🇺🇸