The Redox book - https://doc.redox-os.org/book/

Redox OS Drivers

A Redox filesystem builder

The Ion Shell. Compatible with Redox and Linux.

A readline-like library in Rust.

The Orbital Client Library. Compatible with Redox and SDL2.

The Rust UI-Toolkit.

Redox: A Rust Operating System

A set of NixOS patches for building Redox, with an ultra optimistic long term goal

C Library in Rust for Redox and Linux (WIP)

Request for Changes to Redox

A pure Rust alternative to libraries like FreeType.

Redox Rust Syscall Library

A bindless library for controlling terminals/TTY.

Redox OS APIs for accessing users and groups information

The Redox website (blog, news, feed, etc.)