Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 13 hrs 5 mins 2 hrs 10 mins Lean, Python, sh, JSON, TeX, TOML, Image (svg) 🇩🇪
2 Alok Singh 8 hrs 28 mins 1 hr 12 mins Lean, Python, Markdown, TOML, V hireable 🇺🇸
3 Chutian Yang 8 hrs 24 mins 1 hr 12 mins Lean, Markdown, Rust, Git Config, Nix, YAML, JSON hireable
4 Yichen Xu 1 hr 45 mins 21 mins TypeScript, Scala, Lean, Git, Markdown, Org, TeX, Prisma, CSS, … 🇨🇭
5 Vishal Lama 18 mins 18 mins Lean, Git Config 🇺🇸
6 Xiang Li 12 mins 1 min TeX, Text, C++, C, FortranFixed, Lean, conf, Python, CMake, … 🇨🇳
7 kAIto47802 0 secs 0 secs Python, TeX, Rust, Bash, Text, TOML, Markdown, JSON, Lean, … 🇯🇵