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 9 mins 1 min Agda, Markdown, YAML, RMarkdown, JavaScript, Python, Literate Agda, Nix, Text, … hireable 🇬🇧
Last modified 2 hours ago at 2026-10-13T01:38:01Z