Alternatives and similar repositories for waffle:

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

• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated last week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 4 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆53Updated 5 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated 2 weeks ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆98Updated 2 years ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆162Updated 2 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• cfallin / weval
  ☆172Updated 5 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆64Updated 2 weeks ago
• yblein / rust-wasm
  A simple and spec-compliant WebAssembly interpreter
  ☆90Updated last year
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆17Updated last week
• wasm-superopt / rocinante
  ☆10Updated 4 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• ndmitchell / interpret
  ☆38Updated 4 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 8 months ago
• fitzgen / bacon-rajan-cc
  ☆93Updated last year
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆134Updated this week
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆57Updated 3 weeks ago
• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆73Updated 10 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated last week
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆36Updated last month
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 weeks ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆60Updated 9 months ago