Leaderboard · Idris

Hours Coded AI Lines
Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 8 hrs 22 mins 1 hr 23 mins Idris, YAML, Text, Bash, Typst, VHDL, Groovy, Markdown, JSON, …
Last modified 2026-06-09T17:00:31Z