Leaderboard · Idris

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 9 hrs 19 mins 1 hr 33 mins Idris, YAML, Bash, HTML, Typst, Markdown, JSON, Text, Groovy, …
Last modified 2026-06-09T01:05:16Z