Leaderboard · Ada · Poland

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 AI Spend Spend Top AI Model Model Languages Used
1 Przemysław Kobylański $2.60 Opus ($2.60) Dafny, Lean4, Ada, C#, XML 🇵🇱
Last modified 3 hours ago at 2026-10-24T01:23:40Z