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	1 hr 2 mins	SMT, bigfile, Lean4, conf, TypeScript, GAP	hireable	🇲🇽

Last modified 2026-04-24T17:00:54Z