Leaderboard · Lean · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Alok Singh 16 hrs 8 mins 2 hrs 18 mins Lean, Markdown, TeX, JSON, Makefile, C++, YAML hireable 🇺🇸
2 @kamome 9 hrs 19 mins 1 hr 33 mins Lean, Markdown, Makefile, Racket, TOML, JSON, TeX, Git Config hireable 🇨🇳