Redox jest uniksopodobmym systemem operacyjnym napisanym w języku Rust, którego założeniem jest połączenie innowacji tego języka z architekturą mikrojądra i pełnym zestawem aplikacji.