There is no single "MIUI Launcher." Xiaomi develops different versions for different phone tiers, and ports exist for almost all of them:
If you are looking for content related to a MIUI Launcher Port miui launcher port