Leaderboard · Dafny

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Aadivya Raushan 2 hrs 6 mins 18 mins Python, TypeScript, Dafny, Bash, SQL, SSH Config, Lark, HTML, YAML, … 🇦🇪
2 Mike He 1 hr 58 mins 39 mins Dafny, Rust, Markdown, Python, Lean4, Text, Bash hireable
Last modified 2026-01-06T17:04:10Z