PRO
Join the Pro board. Enable your Pro badge to appear in the rankings.
Enable Pro badge

Leaderboard · Idris

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 2 hrs 58 mins 29 mins YAML, Markdown, TypeScript, Idris, JavaScript, Text, Git Config, Bash, CSS, …
Last modified 2026-06-30T17:04:04Z