Redox OS network stack
Redox OS Drivers
C Library in Rust for Redox and Linux (WIP)
The Redox Filesystem
A collection of package recipes for Redox.
The Redox microkernel
UEFI support library