Hireable Lean Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Alok Singh	2 hrs 30 mins	21 mins	Python, Lean, JSON, Markdown, Rust, TOML, TeX	hireable	🇺🇸