Leaderboard · Racket · Canada

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 Haolong Chen 46 mins 15 mins Lean4, Racket, CMake, C++, Bash, C, TOML, JSON, Markdown, … hireable 🇨🇦
Last modified 1 hour ago at 2026-09-11T09:03:17Z