Leaderboards · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @cherryblossom 3 hrs 15 mins 39 mins Idris, JavaScript, TypeScript, JSON, YAML, Haskell, Markdown, Git, Git Config, …