Leaderboard · Agda

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Tony Zhang 9 mins 1 min HTML, Markdown, Java, JSON, Python, TeX, sh, Text, Agda, … 🇺🇸
2 vikraman 7 mins 1 min Markdown, Typst, RMarkdown, Agda, Bash, BibTeX, Makefile, YAML, C, … hireable 🇬🇧
Last modified 2026-06-23T00:10:39Z