Leaderboard · Idris

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 L3odr0id 8 mins 1 min Markdown, Python, YAML, Text, Git Config, Java, Idris, JSON, Bash, …
Last modified 7 hours ago at 2026-08-15T17:15:22Z