Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 9 mins 1 min Lean4, Org, TeX, Markdown, Typst, Scala, Emacs Lisp, Makefile, Bash, … 🇨🇭
2 Marcus 5 mins 0 secs Markdown, TeX, C++, C, Python, Bash, CSV, INI, Git Config, … 🇨🇭
3 Elwan 0 secs 0 secs Typst, Python, YAML, TypeScript, XML, Markdown, Swift, Go, WebAssembly, … 🇨🇭
4 Yuejia Zhang 0 secs 0 secs TeX, Text, Markdown, MATLAB, BibTeX, Git Config, Objective-C, Makefile 🇨🇭
Last modified 2026-03-26T00:55:50Z