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,160Updated 3 weeks ago
• rustviz / rustviz
  Interactively Visualizing Ownership and Borrowing for Rust
  ☆2,752Updated last year
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,747Updated this week
• tock / tock
  A secure embedded operating system for microcontrollers
  ☆5,703Updated this week
• pest-parser / pest
  The Elegant Parser
  ☆4,824Updated this week
• nnethercote / perf-book
  The Rust Performance Book
  ☆2,360Updated 3 weeks ago
• rust-lang / miri
  An interpreter for Rust's mid-level intermediate representation
  ☆4,988Updated this week
• Rust-GCC / gccrs
  GCC Front-End for Rust
  ☆2,579Updated this week
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,461Updated this week
• flamegraph-rs / flamegraph
  Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
  ☆5,071Updated last week
• tokio-rs / console
  a debugger for async rust!
  ☆3,833Updated 2 months ago
• oxidecomputer / hubris
  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
  ☆3,129Updated this week
• mozilla / sccache
  Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…
  ☆6,169Updated this week
• spacejam / sled
  the champagne of beta embedded databases
  ☆8,357Updated 2 months ago
• smol-rs / smol
  A small and fast async runtime for Rust
  ☆3,999Updated last week
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆3,846Updated this week
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,189Updated 2 weeks ago
• smoltcp-rs / smoltcp
  a smol tcp/ip stack
  ☆3,970Updated 3 weeks ago
• rust-bakery / nom
  Rust parser combinator framework
  ☆9,794Updated last month
• crossbeam-rs / crossbeam
  Tools for concurrent programming in Rust
  ☆7,726Updated this week
• rust-lang / nomicon
  The Dark Arts of Advanced and Unsafe Rust Programming
  ☆1,985Updated 3 weeks ago
• rustls / rustls
  A modern TLS library in Rust
  ☆6,550Updated this week
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,433Updated this week
• rust-lang / rust-bindgen
  Automatically generates Rust FFI bindings to C (and some C++) libraries.
  ☆4,709Updated last month
• willcrichton / flowistry
  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
  ☆1,942Updated 3 months ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,833Updated last year
• nuta / kerla
  A new operating system kernel with Linux binary compatibility written in Rust.
  ☆3,389Updated 4 months ago
• async-rs / async-std
  Async version of the Rust standard library
  ☆4,022Updated last week
• TheDan64 / inkwell
  It's a New Kind of Wrapper for Exposing LLVM (Safely)
  ☆2,515Updated 2 weeks ago
• bheisler / criterion.rs
  Statistics-driven benchmarking library for Rust
  ☆4,892Updated 4 months ago