Alternatives and similar repositories for Theseus

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

• immunant / c2rust
  Migrate C code to Rust
  ☆4,470Updated this week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,820Updated last week
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,701Updated this week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,414Updated 10 months ago
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆803Updated 2 weeks ago
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,330Updated this week
• rustviz / rustviz
  Interactively Visualizing Ownership and Borrowing for Rust
  ☆2,793Updated last year
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,258Updated last week
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,564Updated last week
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,451Updated this week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,230Updated 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,238Updated 5 months ago
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,476Updated this week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,890Updated 3 weeks ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,463Updated 3 weeks ago
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,173Updated last week
• pest-parser / pest
  The Elegant Parser
  ☆5,093Updated this week
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆8,068Updated 3 months ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,994Updated this week
• spacejam / sled
  the champagne of beta embedded databases
  ☆8,685Updated 4 months ago
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆4,953Updated 2 weeks ago
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,486Updated 3 weeks ago
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,849Updated 2 weeks ago
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,339Updated 2 weeks ago
• 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,482Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,445Updated last month
• dtolnay / cxx
  Safe interop between Rust and C++
  ☆6,461Updated this week
• ralfbiedert / cheats.rs
  Rust Language Cheat Sheet - https://cheats.rs
  ☆4,386Updated last week
• rust-lang / rustc-dev-guide
  A guide to how rustc works and how to contribute to it.
  ☆1,781Updated this week
• rust-lang / nomicon
  The Dark Arts of Advanced and Unsafe Rust Programming
  ☆2,107Updated last week