Leaderboard · Agda · United States

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Tony Zhang 9 mins 1 min Markdown, HTML, Java, Python, TeX, JSON, sh, Text, Agda, … 🇺🇸
Last modified 2026-06-24T01:02:03Z