WakaTime Developer Leaderboards

Oh Snap! WakaTime needs JavaScript for all the pretty graphs and charts.

Please enable JavaScript in your browser to view the site.

Rank#	Programmer	AI Lines AI Lines	Top AI Agent Agent	Languages Used
1	vikraman	2,582	Claude (2,582)	Agda, Lean4, Markdown, RMarkdown, TeX, TOML, YAML, Bash, Git, …		hireable	🇬🇧