Leaderboard · 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 Hours Coded Hours Daily Average Average Languages Used
1 vikraman 5 hrs 34 mins 47 mins Agda, Haskell, Markdown, Literate Agda, TeX, BibTeX, Makefile, YAML, Groff, … hireable 🇬🇧
Last modified 3 hours ago at 2026-09-24T16:11:16Z