Leaderboard · Cabal Config · Austria

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @rocko 0 secs 0 secs Nix, Lean4, Haskell, Markdown, CSS, JSON, YAML, TeX, TypeScript, … 🇦🇹
Last modified 2026-04-23T01:09:06Z