Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Matt Marzi 29 mins 4 mins Python, Haskell, C, JSON, YAML, TypeScript, C++, Docker, Svelte, … hireable 🇷🇴
2 Aadivya Raushan 14 mins 7 mins C++, Dafny, Python, Lark 🇦🇪
Last modified 2025-12-13T01:52:49Z