Leaderboard · Agda

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