Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Aadivya Raushan 9 hrs 50 mins 1 hr 24 mins Dafny, TypeScript, Bash, Python, CSS, JSON, Git Config, Text, Markdown, … 🇦🇪
Last modified 2026-01-02T01:01:10Z