United Kingdom Haskell Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	vikraman	0 secs	0 secs	Agda, Lean4, TeX, Markdown, RMarkdown, EJS, Haskell, Bash, Git, …	hireable	🇬🇧

Last modified 2026-05-05T16:49:53Z