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.
  ☆187Updated 3 months ago
• cfallin / weval
  ☆174Updated 5 months ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆84Updated 3 weeks ago
• cfallin / waffle
  ☆58Updated 6 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated this week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆54Updated 6 months ago
• SeaOfNodes / Simple-Rust
  ☆31Updated 11 months ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆122Updated 3 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆286Updated last week
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆84Updated last week
• makepad / stitch
  Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
  ☆129Updated 2 months ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆118Updated last year
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆115Updated 4 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• esoterra / claw-lang
  The compiler for the Claw language
  ☆123Updated 4 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆46Updated last year
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆54Updated 4 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆89Updated 3 years ago
• WebAssembly / exception-handling
  Proposal to add exception handling to WebAssembly
  ☆169Updated 10 months ago
• wasi-gfx / webidl2wit
  ☆43Updated 6 months ago
• WebAssembly / multi-memory
  Multiple per-module memories for Wasm
  ☆134Updated last year
• moonbitlang / MoonLLVM
  A Tiny, Friendly Companion to LLVM
  ☆46Updated 3 weeks ago
• surma / wasmphobia
  ☆99Updated last year
• bytecodealliance / sightglass
  A benchmarking suite and tooling for Wasmtime and Cranelift
  ☆82Updated last month
• fitzgen / winliner
  The WebAssembly Indirect Call Inliner
  ☆27Updated 2 years ago
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆72Updated 4 months ago
• AeneasVerif / charon
  Analyze Rust crates without touching compiler internals
  ☆281Updated last week
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• silvanshade / tower-lsp-web-demo
  A minimal wasm demo with an in-browser editor and language server built with tower-lsp
  ☆48Updated last year
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆54Updated last year