Leaderboard · Lean · United States

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 7 hrs 23 mins 1 hr 3 mins Lean, Python, Makefile, JSON, Bash, Markdown, TOML, XML hireable 🇺🇸
2 @ZBrachinara 10 mins 2 mins Rust, JSON, Lean, Typst, Git, Text 🇺🇸