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 2 hrs 45 mins 23 mins Typst, Agda, RMarkdown, Emacs Lisp, TeX, XML, Git, Markdown, BibTeX, … hireable 🇬🇧
Last modified 2026-07-23T00:09:47Z