Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 11 hrs 7 mins 1 hr 51 mins Idris, Typst, TypeScript, Text, Markdown, JSON, VHDL, TOML, BibTeX
2 @niten 1 hr 30 mins 45 mins Python, Idris, C++, C, Bash, Markdown, Lua, Text, Docker, … 🇷🇺
Last modified 2026-03-03T01:05:47Z