Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Matt Marzi 1 hr 12 mins 10 mins C++, Java, Markdown, Dafny, Python, TypeScript, XML, C, YAML, … hireable 🇷🇴
2 Applesauce 54 mins 7 mins TeX, Svelte, Markdown, Python, HTML, TypeScript, Bash, Dafny, Racket, … hireable 🇳🇱