Redox est un système d'exploitation dans le style Unix, écrit en Rust, visant à exploiter les innovations de ce langage dans un micro-noyau moderne et une suite logicielle complète.