Leaderboard · Lean

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 VTrelat 15 hrs 36 mins 3 hrs 7 mins Lean, TeX, CSV, JSON, Graphviz (DOT), sh, SMT 🇩🇪
2 @montmorill 13 hrs 54 mins 2 hrs 46 mins Lean, Markdown, Lua, C, TOML, Rust, JSON hireable 🇨🇳
3 @bronen 12 hrs 1 hr 42 mins Lean, JavaScript, Clojure, Terraform, Nix, Markdown, Emacs Lisp, JSON, Org, … 🇧🇷
4 Alok Singh 9 hrs 5 mins 1 hr 30 mins Lean, JSON, Python, TOML, Markdown hireable 🇺🇸
5 Yichen Xu 7 hrs 6 mins 1 hr 11 mins Lean, Scala, Rust, Markdown, Git, TOML, Org, Text, Lua, … 🇨🇭
6 Chutian Yang 5 hrs 47 mins 49 mins Markdown, Lean, Lua, Rust, markdown_inline hireable
7 @kamome 5 hrs 1 min 1 hr 15 mins Lean, Markdown, Racket hireable 🇨🇳
8 kAIto47802 1 hr 42 mins 14 mins Python, Text, C++, Bash, Lean, TeX, Markdown, Git Config, JSON, … hireable 🇯🇵
9 Jason Gross 1 hr 12 mins 10 mins Coq, Python, Markdown, Bash, Lean, JavaScript, YAML, Text, TypeScript, … 🇺🇸