Leaderboard · Dafny

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