Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 14 hrs 39 mins 2 hrs 5 mins Lean, Markdown, TeX, HTML, CSS, JSON, sh, OpenEdge ABL 🇩🇪
2 Alok Singh 9 hrs 53 mins 1 hr 24 mins Lean, Python, TypeScript, JSON, SSH Key, TOML, Lua, Markdown, Makefile, … hireable 🇺🇸
3 Yichen Xu 5 hrs 27 mins 1 hr 5 mins Lean, Scala, Git, TeX, Org, Markdown 🇨🇭
4 Jason Gross 2 hrs 55 mins 25 mins Lean, Python, Coq, TeX, Makefile, OCaml, YAML, JSON, Bash, … 🇺🇸
5 KokomiCat 1 hr 25 mins 12 mins TypeScript, JavaScript, Python, Lean, Text, HTML, JSON, JSON with Comments, Git Config, … 🇦🇺
6 Sergio Gomes 1 hr 4 mins 21 mins Lean, OCaml 🇧🇷
7 tsrigo 47 mins 11 mins Python, Bash, Lean, Text, TOML, YAML, C, JSON, Markdown, … 🇨🇳
8 @bronen 39 mins 5 mins Rust, Clojure, Lean, TOML, JSON, Nix, Markdown, JavaScript, netrw, … 🇧🇷
9 kAIto47802 35 mins 5 mins Python, TeX, Bash, Lean, Text, BibTeX, TOML, JSON, Markdown, … hireable 🇯🇵
10 @ZBrachinara 10 mins 5 mins Typst, Rust, JSON, Lean 🇺🇸