Any good ROM for the Redmi 13C ?

I've recently bought a cheap Redmi 13C recently, but since it has the Xiaomi HyperOS which is clearly unstable and makes my phone very laggy for its specs, especially on recording for some reason (60 FPS on games without recording, 20 FPS on same games while recording).

So I would like to know if there is any way to install annother ROM than the Xiaomi HyperOS on that phone, or if it is too new or too unused to have a custom ROM as of right now. Thanks in advance!