Leaderboard · Agda · Italy

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 1 hr 19 mins 39 mins C, Agda, Python, JSON, Makefile hireable 🇮🇹
Last modified 8 hours ago at 2026-10-02T17:19:39Z