Leaderboard · SMT

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Mehrad Haghshenas 22 mins 3 mins Markdown, Rust, SMT, Bash, Text, Makefile, TOML, Git Config, HTML, … 🇳🇱
2 @AdamV 0 secs 0 secs Common Lisp, Rust, Scala, Markdown, C++, Python, TOML, textmate, ObjectiveC, …
Last modified 2026-03-04T01:13:11Z