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,214Updated this week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,773Updated last week
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,287Updated last week
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,625Updated this week
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆5,118Updated this week
• rustviz / rustviz
  Interactively Visualizing Ownership and Borrowing for Rust
  ☆2,768Updated last year
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,414Updated this week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,561Updated last week
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,180Updated last week
• Rust-for-Linux / linux
  Adding support for the Rust language to the Linux kernel.
  ☆4,158Updated this week
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,481Updated last month
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆7,837Updated last month
• tokio-rs / console
  a debugger for async rust!
  ☆3,914Updated last month
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,163Updated this week
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆4,775Updated last month
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆4,167Updated 2 months ago
• pest-parser / pest
  The Elegant Parser
  ☆4,908Updated last month
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,439Updated last week
• bheisler / criterion.rs
  Statistics-driven benchmarking library for Rust
  ☆5,010Updated 6 months ago
• seed-rs / seed
  A Rust framework for creating web apps
  ☆3,835Updated 4 months ago
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,036Updated this week
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆4,021Updated last week
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,392Updated 6 months ago
• rust-lang / nomicon
  The Dark Arts of Advanced and Unsafe Rust Programming
  ☆2,023Updated last month
• rust-bakery / nom
  Rust parser combinator framework
  ☆9,879Updated 3 months ago
• dtolnay / proc-macro-workshop
  Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]
  ☆4,468Updated 2 months ago
• petgraph / petgraph
  Graph data structure library for Rust.
  ☆3,287Updated 3 weeks ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,842Updated 2 years ago
• model-checking / kani
  Kani Rust Verifier
  ☆2,545Updated this week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,817Updated last week