Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Anillc 4 hrs 25 mins 1 hr 6 mins Agda, Nix, CSS, HTML, JSON, Markdown, Python, XML 🇨🇳
2 vikraman 1 hr 8 mins 11 mins TeX, Agda hireable 🇮🇹
3 Jason Gross 1 min 0 secs Python, Coq, YAML, Literate Agda, Text, TeX, Makefile, Bash, Markdown, … 🇺🇸