Explore projects

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

Convert 80-bit floats to 64-bit floats

Fork of https://github.com/k4zmu2a/SpaceCadetPinball

C Library in Rust for Redox and Linux (WIP)

Fork of https://github.com/rust-lang/llvm-project

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

Redox Rust Syscall Library

Slab allocator for no_std systems. Uses multiple slabs with blocks of different sizes and makes a linked list from free blocks

Redox Memory Management - rewrite of kernel memory management

Meant to be used only until https://github.com/rust-lang/wg-cargo-std-aware/issues/61 or https://github.com/rust-lang/compiler-builtins/pull/379 are merged

Experimental format of how a dedicated initramfs format for Redox could look like.

This is the version of QEMU 6.0.0 which has been patched to be built on redox-os

This repo has nothing to do with QEMU, and is meant only to demonstrate compilation with x86_64-unknown-redox-gcc

DCES is a library that provides a variant of the Entity Component System.

DCES is a library that provides a variant of the Entity Component System.

Guide documenting the Dense Component Entity System (dces)

The Redox microkernel

C Library in Rust for Redox and Linux (WIP)