Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 12 hrs 49 mins 2 hrs 33 mins Lean, SMT, TeX, Python, CSV, JSON, sh 🇩🇪
2 @bronen 11 hrs 51 mins 1 hr 41 mins Lean, Clojure, JavaScript, Nix, Markdown, Emacs Lisp, JSON, Org, Bash, … 🇧🇷
3 @montmorill 6 hrs 55 mins 2 hrs 18 mins Lean, Markdown, Lua, TOML, Rust, JSON hireable 🇨🇳
4 Chutian Yang 4 hrs 43 mins 40 mins Markdown, Lean, Lua, Rust, Nix, markdown_inline, EditorConfig hireable
5 Yichen Xu 4 hrs 3 mins 40 mins Scala, Lean, Rust, Markdown, Git, Org, Text, TOML, Lua, … 🇨🇭
6 Alok Singh 2 hrs 43 mins 27 mins Lean, TOML, JSON, Markdown hireable 🇺🇸
7 @kamome 2 hrs 1 hr Lean, Racket hireable 🇨🇳
8 Jason Gross 1 hr 38 mins 14 mins Python, Markdown, Coq, TypeScript, JavaScript, Lean, Bash, CSS, HTML, … 🇺🇸
9 kAIto47802 1 hr 35 mins 13 mins Python, Text, C++, Bash, TeX, Markdown, Lean, HTML, JSON, … hireable 🇯🇵