Leaderboard · Agda · United Kingdom

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 AI Spend Spend Top AI Model Model Languages Used
1 vikraman $155 Opus ($148) Agda, Markdown, YAML, Literate Agda, Python, Bash, JavaScript, Haskell, SquidConf, … hireable 🇬🇧
Last modified 3 hours ago at 2026-10-09T17:10:32Z