Leaderboard · 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 Manual Coding Manual Daily Average Average Languages Used
1 @Tugamer89 2 hrs 48 mins 28 mins Python, C++, Agda, YAML, Makefile, PowerShell, Markdown, INI, TOML, … hireable 🇮🇹
Last modified 6 hours ago at 2026-10-26T01:28:24Z