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