Leaderboard · Agda · Hireable

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 3 hrs 46 mins 32 mins Agda, Haskell, C, SCSS, Typst, Standard ML, Markdown, JavaScript, TeX, … hireable 🇬🇧
Last modified 8 hours ago at 2026-09-10T00:10:12Z