Leaderboard · Haskell · Austria

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @rocko 10 mins 1 min Lean4, Nix, Markdown, TeX, JSON, YAML, TypeScript, XML, Haskell, … 🇦🇹
Last modified 2026-04-21T01:08:18Z