Redox OS

A Unix-like system written entirely in Rust, with a microkernel. It chases the idea that the language's memory safety removes whole classes of bugs that C-written systems drag along. It moves slowly, but it already boots a desktop.