The Netherlands Dafny Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Applesauce	54 mins	7 mins	TeX, Python, Svelte, HTML, Dafny, Markdown, Bash, Racket, JSON, …	hireable	🇳🇱