Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 15 hrs 16 mins 2 hrs 32 mins Idris, Text, YAML, Dart, VHDL, JSON, TOML, Markdown, Git Config, …
2 @niten 1 hr 39 mins 33 mins C++, Python, Idris, Markdown, Bash, JSON, Lua, Docker, Text, … 🇷🇺
Last modified 2026-02-07T16:51:23Z