Leaderboard · Literate 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 AI Lines AI Lines Top AI Model Model Languages Used
1 vikraman 11,528 Opus (11,522) JavaScript, Markdown, Haskell, Agda, SCSS, HTML, Git, Python, Literate Agda, … hireable 🇬🇧
Last modified 1 hour ago at 2026-10-27T17:28:21Z