Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 4 hrs 31 mins 45 mins Idris, Markdown, TypeScript, YAML, Python, HTML, XML, SystemVerilog, Bash, …
Last modified 2026-04-24T16:59:47Z