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 5 hrs 54 mins 50 mins Agda, Literate Agda, Markdown, Haskell, TOML, Python, YAML, BibTeX, TeX, … hireable 🇬🇧
Last modified 4 hours ago at 2026-09-28T00:11:07Z