Leaderboard · Coq · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 1 hr 29 mins 12 mins Nix, Haskell, Coq, C, YAML, Markdown, Rust, JSON, Cabal Config, … 🇨🇳
Last modified 2026-04-20T17:03:30Z