Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 9 hrs 59 mins 1 hr 39 mins Lean, Markdown, TeX, Python, sh, OpenEdge ABL, BibTeX 🇩🇪
2 Yichen Xu 8 hrs 27 mins 1 hr 12 mins Lean, TeX, Scala, Git, Org, Markdown, Python, JSON 🇨🇭
3 Alok Singh 7 hrs 23 mins 1 hr 3 mins Lean, Python, Makefile, JSON, Bash, Markdown, TOML, XML hireable 🇺🇸
4 @definfo 7 hrs 3 mins 1 hr Coq, Lean, Markdown, C++, Nix, Python, SQL, Rust, HTML, … 🇨🇳
5 Lslightly 6 hrs 54 mins 59 mins Markdown, Lean, YAML, Go, TypeScript, HTML, Bash, Python, JSON, … 🇨🇳
6 Rodrigo Branco Citadin 2 hrs 17 mins 22 mins Go, Lean, Protocol Buffer, Markdown, Lua, JSON, gitignore, YAML, Rust, … hireable 🇧🇷
7 KokomiCat 2 hrs 6 mins 31 mins Lean, Python, Markdown, Git Config, iCalendar, Bash, TOML 🇦🇺
8 Sergio Gomes 1 hr 39 mins 19 mins OCaml, Lean, Markdown, Git Config, TOML 🇧🇷
9 @RyanCargan 19 mins 4 mins JavaScript, JSON, Lean, Git Config, Nix, TypeScript, Markdown, CSS, Text 🇱🇰
10 kAIto47802 13 mins 2 mins Python, TypeScript, C++, Markdown, TeX, Text, JSON, Lean, Bash, … hireable 🇯🇵
11 @ZBrachinara 10 mins 2 mins Rust, JSON, Lean, Typst, Git, Text 🇺🇸
12 tsrigo 7 mins 1 min Python, Bash, YAML, TOML, Lean, Text, JSON, C, Markdown, … 🇨🇳