Leaderboard · Agda

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 2 hrs 17 mins 19 mins Agda, RMarkdown, E-mail, YAML, TeX, Bash, TOML, Org, Git, … hireable 🇬🇧
2 Commelina 0 secs 0 secs Haskell, BNFC, Markdown, Cabal Config, LLVM, Julia, Agda 🇨🇳
Last modified 2026-06-06T00:08:34Z