United Arab Emirates Dafny Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Aadivya Raushan	0 secs	0 secs	Python, Bash, TypeScript, Markdown, Text, JavaScript, JSON, Dafny, HTML, …		🇦🇪

Last modified 2026-02-04T16:57:50Z