Leaderboard · Literate Agda · United Kingdom · 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 39 mins 5 mins JavaScript, Markdown, Haskell, Agda, SCSS, HTML, Git, Python, Literate Agda, … hireable 🇬🇧
Last modified 5 hours ago at 2026-10-27T17:27:26Z