Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Matt Marzi 2 hrs 37 mins 22 mins C++, Java, Dafny, TypeScript, XML, Markdown, JSON, CSS, Text, … hireable 🇷🇴
2 Applesauce 54 mins 7 mins TeX, Svelte, Markdown, HTML, TypeScript, Dafny, Racket, Bash, Lua, … hireable 🇳🇱