Leaderboard · Haskell · China

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 @ForkKILLET 58 mins 8 mins Lean4, TypeScript, Markdown, Haskell, YAML, Vue, JSON, Config, Nix, … 🇨🇳
2 @ksqsf 4 mins 0 secs C++, TeX, Emacs Lisp, Org, Git, C, YAML, Markdown, Lua, … 🇨🇳
Last modified 6 hours ago at 2026-11-07T09:13:53Z