WakaTime Developer Leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	VTrelat	15 mins	2 mins	Lean4, TeX, Bash, Markdown, BibTeX, SMT, Text, Python, HTML, …			🇩🇪
2	Anonymous User	6 mins	0 secs	Dockerfile, YAML, Markdown, C, Go, TeX, Python, Text, V, …

Last modified 2026-07-24T08:45:50Z