Leaderboard · SMT · Hireable

Rank# Programmer Hours Coded Hours Daily Average Average Languages Used
1 Héctor Menéndez 3 hrs 6 mins 1 hr 2 mins SMT, bigfile, Lean4, conf, TypeScript, GAP hireable 🇲🇽
2 Till Vogelsang 32 mins 8 mins SMT, Java, Kotlin, JSON, textmate, Python, Manifest hireable 🇩🇪
Last modified 2026-04-24T17:00:54Z