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 vikraman 2 mins 0 secs Agda, Markdown, RMarkdown, SCSS, YAML, Io, CSS, Bash, Literate Agda, … hireable 🇬🇧
Last modified 1 hour ago at 2026-11-06T01:30:38Z