No, however, there is a schism in the Linux community over rewriting Linux in Rust vs. keeping it in its original C base.
I did find this glowing review:
https://www.zdnet.com/article/redox...d-you-should-try-it-despite-what-its-missing/
It looks like it's on the bleeding edge right now. It's fun to play with, but not to rely on just yet.
Their FAQ says a lot as well. Started in 2015 but still considered alpha/beta and not yet at 1.0 release level yet.
https://www.redox-os.org/faq/#what-is-redox
One thing about new OS platforms is their reach regarding support libraries. Many established Linux distros have extensive math libraries, but this new OS may have only a fraction of them ported over. This could prevent you from doing meaningful physics simulations.
This same dilemma arises with languages, too. I had heard folks prototype new stuff in Python using Numpy support but then move it to Go, aka Golang programming, for production. Go has a similar library called Gonum, but it needs some essential functions that one must write from scratch to complete a port.
I've done some physics simulations using Java-based Open Source Physics, but they are strictly in Java. If I wanted to do them in any other language, I'd have to port the OSP code over.