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
  ☆56Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆40Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆71Updated 2 weeks ago
• aakoshh / async-stm-rs
  Asynchronous Software Transactional Memory library for Rust
  ☆27Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated last week
• ndmitchell / interpret
  ☆39Updated 4 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril using egglog
  ☆80Updated this week
• tipo159 / rust-instruction-dispatch
  This is a project to learn how to implement instruction dispatch in Rust.
  ☆25Updated last year
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated last week
• mcoblenz / Bronze
  ☆37Updated 2 months ago
• cfallin / waffle
  ☆58Updated 4 months ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated 10 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆207Updated 2 weeks ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆49Updated 7 months ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆31Updated last year
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆25Updated 6 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆34Updated last year
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆45Updated last month
• lyphyser / deptypes
  ☆16Updated last week
• matklad / arbtest
  A minimalist property-based testing library
  ☆118Updated 6 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆106Updated 2 months ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 10 months ago
• near / finite-wasm
  Cheating a little to solve the halting problem at scale
  ☆30Updated 5 months ago