The Redox microkernel
Mesa 3d library - forked from git://anongit.freedesktop.org/mesa/mesa
C Library in Rust for Redox and Linux (WIP)
Redox OS Bootloader