Hireable Lean Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	@kamome	29 mins	4 mins	V, Markdown, Lean, TeX, Scala, Makefile, TOML, YAML, JSON	hireable	🇨🇳

Last modified 2026-01-08T16:49:27Z