Alternatives and similar repositories for prust

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

• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆58Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆40Updated 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆59Updated 2 weeks ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆123Updated last year
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• cfallin / waffle
  ☆58Updated 5 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated this week
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆81Updated 3 weeks ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆110Updated 3 months ago
• near / finite-wasm
  Cheating a little to solve the halting problem at scale
  ☆32Updated last month
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆28Updated 11 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆61Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated 2 months ago
• nikomatsakis / plmw-2022
  Talk to be given at PLMW 2022
  ☆19Updated 3 years ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated last year
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆250Updated last week
• mlir-rs / mlir-sys
  Rust bindings to the MLIR C API.
  ☆69Updated 3 weeks ago
• brurucy / materialized-view
  ☆19Updated 7 months ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆25Updated 6 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• aakoshh / async-stm-rs
  Asynchronous Software Transactional Memory library for Rust
  ☆27Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆260Updated last week
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆37Updated last year
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆26Updated 2 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆65Updated 7 months ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated last year
• mcoblenz / Bronze
  ☆37Updated 4 months ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated last year