Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @definfo 4 hrs 42 mins 40 mins Coq, Nix, Rust, Python, TOML, C++, YAML, Typst, Bash, … 🇨🇳
2 Anonymous User 1 hr 19 mins 13 mins TeX, Markdown, Coq, C++, JSON, C, CMake, Text, Git Config, …
3 Jason Gross 12 mins 1 min Lean, Python, Bash, Coq, TeX, OCaml, Makefile, JSON, Git Config, … 🇺🇸
4 Yishuai Li 3 mins 0 secs TeX, YAML, Mustache, gitrebase, Coq, Git, sshconfig, OCaml, Markdown hireable 🇺🇸