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.
  ☆181Updated last month
• cfallin / waffle
  ☆58Updated 5 months ago
• cfallin / weval
  ☆174Updated 3 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆49Updated this week
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆78Updated last month
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆152Updated last week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 5 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated this week
• SeaOfNodes / Simple-Rust
  ☆31Updated 9 months ago
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆109Updated 2 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆81Updated 3 weeks ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• makepad / stitch
  Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
  ☆128Updated 2 weeks ago
• wasi-gfx / webidl2wit
  ☆40Updated 4 months ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆115Updated last year
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆51Updated 2 months ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆120Updated 3 years ago
• esoterra / claw-lang
  The compiler for the Claw language
  ☆122Updated 2 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆65Updated 7 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆72Updated 2 months ago
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆53Updated last year
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆25Updated 7 months ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆173Updated 2 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆60Updated 2 years ago
• fitzgen / winliner
  The WebAssembly Indirect Call Inliner
  ☆27Updated 2 years ago
• WebAssembly / multi-memory
  Multiple per-module memories for Wasm
  ☆135Updated last year
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 5 months ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆240Updated this week