Leaderboard · Coq · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 55 mins 9 mins Nix, C, Haskell, Markdown, Coq, Rust, Cabal Config, Text, YAML, … 🇨🇳
Last modified 2026-04-24T16:59:14Z