Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Matt Marzi 1 min 0 secs YAML, C, Java, TeX, Terraform, Vue.js, Nginx configuration file, Bash, Docker, … hireable 🇷🇴
Last modified 2026-02-18T17:04:27Z