Leaderboard · Literate Agda · United States

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), YAML, Text, Markdown, TeX, … 🇺🇸