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 AI Lines AI Lines Top AI Model Model Languages Used
1 vikraman 9,084 Opus (9,078) JavaScript, Markdown, Agda, Haskell, SCSS, HTML, Python, Git, JSON, … hireable 🇬🇧
Last modified 7 hours ago at 2026-10-25T09:09:33Z