Leaderboard · Agda

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Commelina 2 hrs 35 mins 22 mins Markdown, Agda, Haskell, Emacs Lisp, JSON, fish, BNFC, systemd, Cabal Config, … 🇨🇳
Last modified 2026-04-10T08:24:47Z