Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 9 hrs 16 mins 1 hr 19 mins Coq, Markdown, Nix, MATLAB, TOML, Rust, Python, Lua, C++, … 🇨🇳
2 Anonymous User 5 hrs 43 mins 49 mins Coq, C++, OCaml, CSV, Python, C, JSON, TeX, Text, …
3 Jason Gross 2 hrs 29 mins 21 mins TypeScript, Lean, Coq, Python, JavaScript, Markdown, JSON, TOML, TeX, … 🇺🇸