Leaderboard · Racket · Hireable

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 Manual Coding Manual Daily Average Average Languages Used
1 Haolong Chen 4 hrs 33 mins 1 hr 8 mins Lean4, Racket, CMake, C++, Bash, C, TeX, TOML, JSON, … hireable 🇨🇦
Last modified 1 hour ago at 2026-09-12T01:24:02Z