Leaderboard · Idris

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 L3odr0id 6 hrs 45 mins 57 mins Idris, C, Dart, SystemVerilog, Text, Assembly, YAML, JSON, gitignore, …
2 Anonymous User 1 min 0 secs C, Java, Markdown, Odin, Typst, Makefile, sh, Go, maude, … 🇳🇴