Leaderboard · Agda

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 2 hrs 5 mins 17 mins Lean4, Agda, TeX, RMarkdown, TOML, Bash, Markdown, Haskell, YAML, … hireable 🇬🇧
Last modified 2026-05-17T16:22:57Z