Leaderboard · Agda

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 16 hrs 16 mins 2 hrs 19 mins Agda, Markdown, RMarkdown, Text, C, Literate Agda, YAML, Groff, Bash, … hireable 🇬🇧
2 @Tugamer89 7 hrs 1 hr 45 mins Agda, Markdown, YAML, C, Text, Git Config hireable 🇮🇹
Last modified 4 hours ago at 2026-10-15T00:12:34Z