Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 15 mins 2 mins Python, RMarkdown, Idris, Text, JSON
2 Anonymous User 0 secs 0 secs Markdown, Go, maude, JavaScript, Python, Typst, CSS, ghostty, HTML, … 🇳🇴