o8vm / octoxLinks
Unix-like OS in Rust inspired by xv6-riscv
โ1,594Updated this week
Alternatives and similar repositories for octox
Users that are interested in octox are comparing it to the libraries listed below
Sorting:
- MOROS: Obscure Rust Operating System ๐ฆโ1,002Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,409Updated 8 months ago
- A simple, fast, and secure operating system for the cloud.โ941Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,235Updated 3 months ago
- Experimental OS, built with rustโ966Updated last year
- The R9 operating systemโ738Updated last month
- A Rust-based, lightweight unikernel.โ1,317Updated this week
- Hermit for Rust.โ1,807Updated this week
- Pure Rust implementation of SQLiteโ609Updated 11 months ago
- An experimental pure-Rust x86 bootloaderโ1,529Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,038Updated 10 months ago
- A comparison of operating systems written in Rustโ790Updated last month
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,458Updated this week
- Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possibโฆโ3,106Updated this week
- ๐ฅ Time Travel Visual Debugger for Rustโ1,637Updated 3 months ago
- The Adventures of OSโ557Updated 2 years ago
- RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).โ869Updated last year
- ๐ฑ Experimental operating system written in Rustโ399Updated last year
- Code examples, data structures, and links from my book, Rust Atomics and Locks.โ1,480Updated 11 months ago
- Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.โ3,438Updated this week
- Implementing TCP In Rustโ421Updated last year
- Interactively Visualizing Ownership and Borrowing for Rustโ2,784Updated last year
- Tool to create bootable disk images from a Rust OS kernel.โ826Updated 4 months ago
- Library to program x86_64 hardware.โ867Updated 3 weeks ago
- An experimental modern general-purpose microkernel OS.โ370Updated this week
- A unikernel designed specifically for running Wasm applications and compatible with WASIโ620Updated this week
- A very fast linker for Linuxโ2,256Updated this week
- ใ่ชไฝOSใงๅญฆใถใใคใฏใญใซใผใใซใฎ่จญ่จใจๅฎ่ฃ ใใตใใผใใตใคใโ230Updated 2 months ago
- A x86_64 C99 compiler written in Rust from scratchโ432Updated 7 months ago
- RISC-V processor emulator written in Rust+WASMโ665Updated 2 years ago