Leaderboard · Lean · Brazil

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @bronen 1 hr 44 mins 20 mins Clojure, Rust, Lean, Lean4, Nix, YAML, netrw, C, TOML, … 🇧🇷