Leaderboard · Agda · United Kingdom

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 🇬🇧
Last modified 2026-06-05T00:11:22Z