Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 4 hrs 31 mins 45 mins Idris, Markdown, YAML, Python, Bash, HTML, TypeScript, Text, INI, …
2 @niten 1 hr 25 mins 28 mins Python, JSON, Idris, JavaScript, Bash, Docker, Markdown, TableGen, Lua, … 🇷🇺
Last modified 2026-04-21T09:00:53Z