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 @Tugamer89 3 hrs 28 mins 34 mins Python, Agda, C++, YAML, Makefile, PowerShell, INI, Java Properties, TOML, … hireable 🇮🇹
2 vikraman 2 hrs 49 mins 24 mins JavaScript, Markdown, Haskell, Agda, SCSS, HTML, Git, Python, JSON, … hireable 🇬🇧
Last modified 4 hours ago at 2026-10-27T01:19:07Z