Leaderboard · Agda

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 vikraman 1 hr 46 mins 15 mins Lean4, JavaScript, Agda, YAML, Bash, Markdown, TeX, Emacs Lisp, RMarkdown, … hireable 🇬🇧
Last modified 3 hours ago at 2026-08-19T00:06:32Z