Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Mehrad Haghshenas 44 mins 14 mins Rust, SMT, TOML, Markdown, Git Config 🇳🇱
2 @NotFish 1 min 0 secs Python, JSON, C++, TeX, Text, SMT, Markdown hireable 🇺🇸
3 @stackcats 1 min 0 secs Elixir, Jupyter, Python, SQL, Rust, Text, gitignore, SMT
Last modified 2025-12-18T16:55:38Z