PRO
Join the Pro board. Enable your Pro badge to appear in the rankings.
Enable Pro badge

Leaderboard · Agda

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 12 hrs 41 mins 1 hr 48 mins Agda, Typst, TOML, Emacs Lisp, HTML, TeX, Markdown, Git, JSON, … hireable 🇬🇧
Last modified 2026-07-07T08:18:34Z