Leaderboard · SMT · China

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @Antique 13 mins 1 min JSON, Python, Markdown, Text, YAML, SMT, TOML, TeX, HTML, … 🇨🇳
2 @ksqsf 5 mins 0 secs C, Haskell, Rust, Org, YAML, C++, Lua, Emacs Lisp, Markdown, … 🇨🇳
Last modified 2026-04-20T17:08:06Z