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, Bash, XML, Text, …
Last modified 2026-04-23T09:02:19Z