Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @kamome 29 hrs 10 mins 4 hrs 51 mins Lean, Markdown, Scala hireable 🇨🇳
2 VTrelat 13 hrs 20 mins 2 hrs 13 mins Lean, Python, Lean4, TeX 🇩🇪
3 Alok Singh 11 hrs 25 mins 1 hr 37 mins Lean, Swift, Markdown, Text, TOML, JSON, Python, Makefile hireable 🇺🇸
4 Chutian Yang 8 hrs 45 mins 1 hr 15 mins Lean, Lean4, Markdown, JavaScript, Lua, Text, Rust, TOML hireable
5 Maxim Mikhaylov 6 hrs 26 mins 1 hr 4 mins Lean, TeX, Rust, HTML, Markdown, BibTeX, JSON, TOML, Python, …
6 Jason Gross 2 hrs 6 mins 18 mins Python, YAML, CSV, Lean, HTML, JSON, Bash, Coq, Makefile, … 🇺🇸
7 @bronen 1 hr 44 mins 20 mins Clojure, Rust, Lean, Lean4, Nix, YAML, netrw, C, TOML, … 🇧🇷
8 Jelly Terra 1 hr 37 mins 19 mins Go, Rust, Lean, Python, Markdown, Scala, LALRPOP, TOML, YAML, … 🇨🇳
9 @montmorill 1 hr 27 mins 29 mins Lean, Lean4, TOML, JSON, Git Config hireable 🇨🇳
10 kAIto47802 28 mins 4 mins Python, Text, Bash, JSON, C++, Lean4, Lean, BibTeX, C, … hireable 🇯🇵