Leaderboard · Coq · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 1 hr 23 mins 13 mins Nix, C, Haskell, Coq, Markdown, Rust, YAML, Cabal Config, JSON, … 🇨🇳
Last modified 2026-04-23T09:01:26Z