Explore projects

Redox: A Rust Operating System

C Library in Rust for Redox and Linux (WIP)

A collection of package recipes for Redox.

C Library in Rust for Redox and Linux (WIP)

Extra stuff, we use in the Redox project.

Redox: A Rust Operating System

Extend ps2d to make full use of keyboard

A fork of newlib from git://sourceware.org/git/newlib-cygwin.git with Redox support

Extra stuff, we use in the Redox project.

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

Metal IO library for Rust

C Library in Rust for Redox and Linux (WIP)

A fork of gcc with Redox support

Redox OS network stack

Network Utilities for Redox