Explore projects

Music player using rodio

The Ion Shell. Compatible with Redox and Linux.

A collection of package recipes for Redox.

Redox: A Rust Operating System

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

The Redox microkernel

The Ion Shell. Compatible with Redox and Linux.

Fork of https://github.com/carllerche/iovec.git

Redox: A Rust Operating System

Official plugins for the Ion shell

A collection of package recipes for Redox.

C Library in Rust for Redox and Linux (WIP)

A bit set, being able to hold a fixed amount of booleans in an array of integers.

Method for quickly running programs inside of Redox from a KVM capable OS.

The Orbital Client Library. Compatible with Redox and SDL2.

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

OpenSFX for OpenTTD

The Orbital Client Library. Compatible with Redox and SDL2.