Alternatives and similar repositories for weval

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

• cfallin / waffle
  ☆58Updated last week
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆34Updated this week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated last week
• cfallin / weval
  ☆172Updated 8 months ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆63Updated last week
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆172Updated last week
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆104Updated this week
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆111Updated 2 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years ago
• wasi-gfx / webidl2wit
  ☆35Updated 2 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• kaist-cp / circ
  CIRC: Concurrent Immediate Reference Counting
  ☆52Updated 8 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆19Updated 2 months ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 2 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆56Updated this week
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆36Updated last year
• DouglasDwyer / wasm_component_layer
  WebAssembly component model implementation for any backend.
  ☆79Updated 4 months ago
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆97Updated this week
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated 2 months ago
• fitzgen / winliner
  The WebAssembly Indirect Call Inliner
  ☆27Updated last year
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆50Updated last year
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆48Updated 2 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆86Updated 2 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆21Updated this week
• bytecodealliance / regalloc2
  A new register allocator
  ☆234Updated 3 weeks ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆27Updated 2 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• WebAssembly / memory-control
  A proposal to introduce finer grained control of WebAssembly memory.
  ☆45Updated 5 months ago
• makepad / stitch
  Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
  ☆121Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago