Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Héctor Menéndez 3 hrs 6 mins 37 mins bigfile, SMT, Lean4, conf, TypeScript, GAP hireable 🇲🇽
2 Mehrad Haghshenas 50 mins 25 mins Rust, SMT, Markdown 🇳🇱
3 Till Vogelsang 32 mins 16 mins SMT, JSON, Python hireable 🇩🇪
4 @ksqsf 5 mins 0 secs YAML, Org, C, Rust, Lua, C++, Emacs Lisp, Haskell, Git, … 🇨🇳
5 @Antique 2 mins 0 secs JSON, Python, Markdown, YAML, Text, CSV, SMT, TOML, Git Config 🇨🇳
Last modified 2026-04-23T01:10:41Z