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,858Updated this week
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,790Updated this week
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,397Updated this week
• immunant / c2rust
  Migrate C code to Rust
  ☆4,614Updated this week
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,611Updated this week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,455Updated last year
• 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,243Updated 9 months ago
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆827Updated 2 months ago
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,791Updated this week
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,369Updated last week
• rustviz / rustviz
  Interactively Visualizing Ownership and Borrowing for Rust
  ☆2,820Updated last year
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,297Updated this week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,959Updated 3 weeks ago
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆6,170Updated this week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆5,090Updated last week
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,706Updated last week
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,621Updated last month
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,319Updated 2 months ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,687Updated last week
• rust-lang / nomicon
  The Dark Arts of Advanced and Unsafe Rust Programming
  ☆2,185Updated 3 weeks ago
• pest-parser / pest
  The Elegant Parser
  ☆5,243Updated last 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,542Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,444Updated 3 weeks ago
• rust-bakery / nom
  Rust parser combinator framework
  ☆10,261Updated 4 months ago
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,420Updated last month
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,340Updated 4 years ago
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,402Updated last week
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆8,249Updated last week
• rust-osdev / bootimage
  Tool to create bootable disk images from a Rust OS kernel.
  ☆868Updated 4 months ago
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆5,065Updated last week