> Redox is a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microkernel and full set of applications.

Did you not navigate to the main page?

An Operating System mostly written in the Rust programming language.