Leaderboard · Dafny

Hours Coded Manual Coding AI Coding AI Spend

Get the weekly leaderboard

The front page of this leaderboard, delivered every Monday. No other emails.

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Matt Marzi 1 hr 8 mins 17 mins Dafny, TeX, Markdown, C++, Text hireable 🇷🇴
2 Przemysław Kobylański 7 mins 1 min Ada, Dafny, Lean4, C#, XML 🇵🇱
Last modified 2 hours ago at 2026-10-25T16:30:48Z