Leaderboard · Literate 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 53 mins 16 mins Agda, Literate Agda, Markdown, Haskell, TOML, Python, YAML, CSS, BibTeX, … hireable 🇬🇧
Last modified 6 hours ago at 2026-09-30T09:05:55Z