Alternatives and similar repositories for waffle:

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

• cfallin / waffle
  ☆58Updated 6 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆50Updated 4 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆19Updated this week
• fitzgen / winliner
  The WebAssembly Indirect Call Inliner
  ☆26Updated last year
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆15Updated last year
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated this week
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆36Updated 3 weeks ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆55Updated 3 weeks ago
• zshipko / llama
  Rust LLVM bindings
  ☆31Updated 2 years ago
• idlab-discover / usb-wasm
  Prototype interface for accessing USB devices from WebAssembly Components
  ☆20Updated 4 months ago
• fklr / atomalloc
  atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust
  ☆29Updated 2 weeks ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated 3 weeks ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 5 months ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• Neopallium / s1vm
  Fast Wasm interpreter in Rust
  ☆18Updated 2 years ago
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆26Updated 2 weeks ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆22Updated 4 months ago
• yoshuawuyts / cargo-task-wasm
  A sandboxed local task runner for Rust
  ☆21Updated 6 months ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆28Updated 5 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆14Updated this week
• sunfishcode / ambient-authority
  Ambient Authority
  ☆20Updated last year
• yurydelendik / wasm-dwarf
  Reading DWARF information from wasm files.
  ☆19Updated 6 years ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆95Updated 2 years ago
• cbiffle / lilist
  A Rust doubly-linked intrusive list with Miri tests
  ☆12Updated 10 months ago
• sunfishcode / hello-embedded
  Hello Embedded!
  ☆23Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated 11 months ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• yblein / rust-wasm
  A simple and spec-compliant WebAssembly interpreter
  ☆89Updated last year
• skade / ffi-opaque
  A simple macro to create correct opaque pointers
  ☆22Updated 3 years ago