Leaderboard · fish · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 @markbeep 28 mins 4 mins Python, Markdown, Docker, Promela, Bash, C, JavaScript, Jsonnet, fish, … 🇨🇭
2 Yichen Xu 2 mins 0 secs Lean4, Lean, Scala, Git, Python, Org, TeX, Coq, sshconfig, … 🇨🇭
Last modified 2026-02-02T01:04:18Z