Leaderboard · Agda · United Kingdom · Hireable

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 1 hr 29 mins 12 mins Agda, Markdown, E-mail, Emacs Lisp, YAML, Groff, TeX, Python, Text, … hireable 🇬🇧
Last modified 2026-06-07T16:47:20Z