Idris Leaderboards - WakaTime - Programming and time tracking leaderboards

Oh Snap! WakaTime needs JavaScript for all the pretty graphs and charts.

Please enable JavaScript in your browser to view the site.

Leaderboard · Idris

Hours Coded Manual Coding AI Coding

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	L3odr0id	0 secs	0 secs	Python, Git Config, YAML, Kotlin, Markdown, CSV, Text, TypeScript, Idris, …

Last modified 2026-07-25T18:40:55Z