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 49 mins 15 mins Agda, Markdown, Literate Agda, TeX, RMarkdown, YAML, JavaScript, SCSS, Io, … hireable 🇬🇧
Last modified 21 minutes ago at 2026-11-02T09:20:19Z