Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Mike He 39 mins 7 mins Python, Lean4, SMT, Markdown, JSON, ANTLR, Git Config, Haskell hireable
2 @NotFish 7 mins 1 min Python, Rust, TeX, Nix, Java, Bash, Text, Markdown, C, … hireable 🇺🇸
3 VTrelat 0 secs 0 secs TeX, Lean4, Markdown, JavaScript, SMT 🇩🇪