Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Aadivya Raushan 8 hrs 52 mins 1 hr 16 mins Dafny, TypeScript, Bash, Python, CSS, JSON, Git Config, Markdown, Lark 🇦🇪
Last modified 2026-01-01T08:33:38Z