Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 15 hrs 19 mins 2 hrs 33 mins Lean, Markdown, TeX, sh 🇩🇪
2 Jason Gross 13 hrs 55 mins 1 hr 59 mins Lean, Coq, Python, Bash, JSON, Markdown, HTML, Jinja, Git Config, … 🇺🇸
3 @kamome 8 hrs 20 mins 1 hr 23 mins Lean, Typst, Scala, Markdown hireable 🇨🇳
4 Alok Singh 8 hrs 2 mins 1 hr 8 mins Lean, Python, Makefile, Markdown, TOML, JSON, Text, Git Config hireable 🇺🇸
5 KokomiCat 5 hrs 50 mins Lean, Python, Bash, C, Git Config, Text, Markdown, ca65 assembler 🇦🇺
6 @definfo 2 hrs 35 mins 22 mins Markdown, Nix, Coq, Lean, Python, MATLAB, YAML, Haskell, Rust, … 🇨🇳
7 kAIto47802 2 hrs 5 mins 25 mins Python, Lean, Text, C++, Bash, JSON, Markdown hireable 🇯🇵
8 Yichen Xu 55 mins 7 mins Scala, Git, Lean, Markdown, Python, Rust, WebAssembly, Git Config, TOML 🇨🇭
9 @RanolP 9 mins 1 min TypeScript, Typst, JavaScript, Rust, Markdown, Text, JSON, Go, YAML, …
10 @strn 6 mins 1 min Python, MDX, Markdown, Text, HTML, C, Lean, QML, Bash, … 🇸🇪