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 4 hrs 15 mins 36 mins Haskell, Agda, Org, Markdown, YAML, RMarkdown, Cabal Config, TOML, JSON, … hireable 🇬🇧
Last modified 6 hours ago at 2026-08-07T04:55:14Z