Alternatives and similar repositories for weval

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

• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆185Updated 2 months ago
• cfallin / weval
  ☆174Updated 4 months ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆83Updated this week
• cfallin / waffle
  ☆58Updated 6 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆69Updated last week
• SeaOfNodes / Simple-Rust
  ☆31Updated 10 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 6 months ago
• wasi-gfx / webidl2wit
  ☆42Updated 5 months ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆282Updated this week
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆121Updated 3 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆82Updated this week
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆114Updated 3 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆118Updated last year
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆38Updated 2 years ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆53Updated 4 months ago
• DouglasDwyer / wasm_component_layer
  WebAssembly component model implementation for any backend.
  ☆88Updated 10 months ago
• WebAssembly / proposal-type-imports
  Proposal for Type Imports & Exports
  ☆23Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆67Updated 8 months ago
• makepad / stitch
  Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
  ☆129Updated last month
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆54Updated last year
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• fitzgen / winliner
  The WebAssembly Indirect Call Inliner
  ☆27Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆46Updated last year
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆53Updated 4 months ago
• OCamlPro / owi
  Seamless bug-finding for C, C++, Rust, Wasm and Zig
  ☆276Updated last week
• esoterra / claw-lang
  The compiler for the Claw language
  ☆123Updated 3 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• WebAssembly / exception-handling
  Proposal to add exception handling to WebAssembly
  ☆167Updated 9 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆26Updated 8 months ago