Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Matt Marzi 1 hr 7 mins 11 mins Python, TypeScript, Haskell, C, JSON, YAML, Markdown, Dafny, Svelte, … hireable 🇷🇴
2 Aadivya Raushan 14 mins 7 mins C++, Dafny, Python, Lark 🇦🇪
Last modified 2025-12-16T08:48:01Z