Leaderboard · Agda

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 3 hrs 30 mins 30 mins Agda, TeX, Markdown, RMarkdown, YAML, TOML, HTML, Makefile, Bash, … hireable 🇬🇧
2 @definfo 5 mins 0 secs Markdown, Coq, Rust, C, Nix, Bash, Typst, C++, Python, … 🇨🇳
Last modified 2026-06-15T16:13:31Z