Leaderboard · fish · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 10 mins 2 mins Lean4, TeX, Markdown, Org, Scala, Git, Makefile, Emacs Lisp, fish, … 🇨🇭
Last modified 2026-03-23T08:43:21Z