A collection of package recipes for Redox.

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

Redox: A Rust Operating System

C Library in Rust for Redox and Linux (WIP)

The Ion Shell. Compatible with Redox and Linux.

Request for Changes to Redox

A bindless library for controlling terminals/TTY.

The Rust UI-Toolkit.

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

The Redox Filesystem

A GDB Remote Serial Protocol server for Rust, intended to be a simple GDBserver for at least Linux and Redox running on the x86_64 architecture rewritten in Rust.

A pure Rust alternative to libraries like FreeType.

A straight port of stb_truetype-rs from C to Rust

A readline-like library in Rust.

Official plugins for the Ion shell http://redox-os.pages.redox-os.org/ion-plugins/

Redox OS APIs for accessing users and groups information

A concurrent bloom filter