Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 13 hrs 39 mins 2 hrs 16 mins Lean, TeX, sh 🇩🇪
2 Anonymous User 2 hrs 57 mins 25 mins OCaml, C, Markdown, V, Lean, JavaScript, Text, TypeScript, JSON, … 🇧🇷
3 A badly drawn TABS person 1 hr 54 mins 38 mins Lean, Typst, JSON
4 Yichen Xu 1 hr 48 mins 15 mins TeX, Lean, Git, Markdown, Org, JSON, BibTeX, OpenEdge ABL, Emacs Lisp 🇨🇭
5 Anonymous User 1 hr 13 mins 12 mins Rust, hyprlang, Typst, Lean, Lua, TOML, Bash, JavaScript, Kotlin, … hireable 🇨🇳
6 Alok Singh 57 mins 8 mins Python, Lean, Rust, Swift, Markdown, TOML, Bash, XML, TeX hireable 🇺🇸
7 Martin Shkreli 50 mins 7 mins Lean, TOML, XML, JSON hireable 🇺🇸
8 Anonymous User 28 mins 9 mins Rust, TOML, Lean, Text, Font, JSON, Git, Git Config 🇨🇳
9 Jelly Terra 9 mins 1 min Rust, Scala, LALRPOP, SystemVerilog, Markdown, Go, Astro, IDEA_WORKSPACE, TypeScript, … 🇨🇳