Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 4 hrs 31 mins 38 mins Idris, Markdown, YAML, Python, Typst, Bash, HTML, TypeScript, Text, …
2 @niten 1 hr 25 mins 28 mins Python, JSON, C++, Idris, JavaScript, Bash, C, Lua, TableGen, … 🇷🇺
Last modified 2026-04-21T01:08:25Z