Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 11 hrs 42 mins 2 hrs 20 mins Lean, SMT, TeX, Python, CSV, JSON, sh, Bash 🇩🇪
2 @bronen 8 hrs 10 mins 1 hr 10 mins Clojure, Lean, Markdown, Nix, Emacs Lisp, Org, Prolog, gitignore, YAML, … 🇧🇷
3 @montmorill 6 hrs 55 mins 2 hrs 18 mins Lean, Markdown, Lua, TOML, Rust, JSON hireable 🇨🇳
4 Chutian Yang 4 hrs 31 mins 38 mins Markdown, Lean, Lua, Rust, Nix, markdown_inline, EditorConfig hireable
5 Alok Singh 2 hrs 9 mins 18 mins Lean, TOML, JSON, Markdown hireable 🇺🇸
6 Jason Gross 1 hr 38 mins 14 mins Python, TypeScript, Markdown, JavaScript, Lean, Bash, CSS, HTML, Text, … 🇺🇸
7 kAIto47802 1 hr 32 mins 13 mins Python, TeX, Text, C++, Markdown, Lean, Bash, HTML, BibTeX, … hireable 🇯🇵
8 Yichen Xu 23 mins 3 mins Scala, Rust, Text, Org, Git, Markdown, Lean 🇨🇭
9 @kamome 0 secs 0 secs Scala, Racket, Markdown, Lean hireable 🇨🇳