Leaderboards · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Jason Gross 0 secs 0 secs TeX, Bash, Python, Text, Coq, Makefile, YAML, Markdown, Git Config, …