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 mins 0 secs Typst, Bash, Emacs Lisp, Ruby, TeX, XML, Agda, BibTeX, RMarkdown, … hireable 🇬🇧
Last modified 2026-07-20T00:54:21Z