Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 16 hrs 31 mins 3 hrs 18 mins Lean, Graphviz (DOT) 🇩🇪
2 @kamome 15 hrs 24 mins 3 hrs 4 mins Lean, Markdown, Racket hireable 🇨🇳
3 @montmorill 14 hrs 43 mins 2 hrs 56 mins Lean, Markdown, C, TOML, Rust, JSON hireable 🇨🇳
4 Alok Singh 9 hrs 4 mins 1 hr 30 mins Lean, JSON, Python, Text, Markdown hireable 🇺🇸
5 @bronen 7 hrs 46 mins 1 hr 17 mins JavaScript, Lean, Terraform, Clojure, Nix, Emacs Lisp, JSON, Org, Bash, … 🇧🇷
6 Yichen Xu 7 hrs 6 mins 1 hr Scala, Lean, Git, Markdown, Org, TOML, Emacs Lisp, Lua, wat, … 🇨🇭
7 Chutian Yang 6 hrs 10 mins 52 mins Markdown, Lean, Lua, markdown_inline hireable
8 kAIto47802 1 hr 42 mins 14 mins Python, Text, Bash, C++, TeX, Lean, Markdown, JSON, HTML, … hireable 🇯🇵
9 Jason Gross 9 mins 1 min Python, Coq, Markdown, Bash, Image (svg), YAML, JavaScript, Lean, Git Config, … 🇺🇸