A Redox egy Rust nyelven írt Unix-szerű operációs rendszer, melynek célja a Rust nyelv innovációinak alkalmazása egy modern mikrokernelre és egy teljes alkalmazáskészletre.