Alternatives and similar repositories for Theseus

Users that are interested in Theseus are comparing it to the libraries listed below

• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,851Updated this week
• Andy-Python-Programmer / aero
  Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…
  ☆1,244Updated 8 months ago
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,389Updated this week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,452Updated last year
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,346Updated this week
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,598Updated 2 weeks ago
• immunant / c2rust
  Migrate C code to Rust
  ☆4,591Updated this week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,283Updated this week
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,777Updated this week
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,662Updated last week
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,611Updated last month
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆825Updated last month
• rustviz / rustviz
  Interactively Visualizing Ownership and Borrowing for Rust
  ☆2,815Updated last year
• pest-parser / pest
  The Elegant Parser
  ☆5,225Updated 3 weeks ago
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,339Updated 4 years ago
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,398Updated last week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆5,045Updated 2 weeks ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,112Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,444Updated this week
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,285Updated last month
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,666Updated 3 weeks ago
• vinc / moros
  MOROS: Obscure Rust Operating System 🦉
  ☆1,030Updated this week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,943Updated 2 weeks ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,654Updated last week
• tokio-rs / console
  a debugger for async rust!
  ☆4,336Updated last month
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,743Updated 3 weeks ago
• dtolnay / cxx
  Safe interop between Rust and C++
  ☆6,570Updated this week
• rust-osdev / uefi-rs
  Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…
  ☆1,531Updated last week
• rust-osdev / x86_64
  Library to program x86_64 hardware.
  ☆895Updated 3 weeks ago
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆2,966Updated 2 months ago