The Rust UI-Toolkit.

The Ion Shell. Compatible with Redox and Linux.

The Redox microkernel

Redox: A Rust Operating System

A bindless library for controlling terminals/TTY.

A collection of package recipes for Redox.

C Library in Rust for Redox and Linux (WIP)

A readline-like library in Rust.

A pure Rust alternative to libraries like FreeType.

A concurrent bloom filter

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

A concurrent HashMap

Games for Redox!

Rust library for parsing and processing arithmetic expressions; compare / contrast with https://github.com/lcn2/calc or Bash's builtin arithmetic

A library for parsing POSIX regular expressions

A straight port of stb_truetype-rs from C to Rust

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