Check out https://valetudo.cloud/pages/general/supported-robots.html
I can also recommend Roborock brand in general because the hardware seems decent and it runs well enough with no internet/smart app required. I’ve not installed Valetudo on mine because the S4 requires some hardware changes that I’m not comfortable making. Other Roborock models are much easier to install.
Good luck!