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 29 mins 14 mins C, Agda, TypeScript, YAML, TOML, JSON, Markdown, Singularity, Org, … hireable 🇬🇧
Last modified 7 hours ago at 2026-08-31T00:12:24Z