Hireable Mexico SMT Leaderboards - WakaTime - Programming and time tracking leaderboards

Rank#	Programmer	Hours Coded Hours	Daily Average Average	Languages Used
1	Héctor Menéndez	3 hrs 6 mins	37 mins	bigfile, SMT, Lean4, conf, TypeScript, GAP	hireable	🇲🇽

Last modified 2026-04-22T17:03:10Z