Leaderboard · MLIR · Switzerland

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Yichen Xu 2 mins 0 secs Lean4, Markdown, TeX, Scala, TOML, Lean, Emacs Lisp, Python, Rust, … 🇨🇭
Last modified 2026-03-13T16:51:33Z