Explore projects

Games for Redox!

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

Redox: A Rust Operating System

C Library in Rust for Redox and Linux (WIP)

A scheme for interprocess communication channels

The Redox coreutils.

Redox OS Drivers

Redox: A Rust Operating System

Redox: A Rust Operating System

A collection of package recipes for Redox.

A readline-like library in Rust.

Redox OS Drivers

Redox: A Rust Operating System

Redox: A Rust Operating System

C Library in Rust for Redox and Linux (WIP)

The Ion Shell. Compatible with Redox and Linux.

The Redox coreutils.

Redox: A Rust Operating System

The Redox microkernel

Redox: A Rust Operating System