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.
  ☆183Updated 2 months ago
• cfallin / weval
  ☆174Updated 4 months ago
• cfallin / waffle
  ☆58Updated 5 months ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆80Updated 2 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆63Updated 2 weeks ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 5 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆81Updated last week
• SeaOfNodes / Simple-Rust
  ☆31Updated 10 months ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆120Updated 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.
  ☆273Updated 2 weeks ago
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆51Updated 3 months ago
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆112Updated 3 months ago
• wasi-gfx / webidl2wit
  ☆42Updated 5 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆46Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• makepad / stitch
  Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
  ☆129Updated last month
• sampsyo / flatcalc
  world's worst interpreter
  ☆66Updated 8 months ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆116Updated last year
• WebAssembly / proposal-type-imports
  Proposal for Type Imports & Exports
  ☆23Updated last year
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• WebAssembly / multi-memory
  Multiple per-module memories for Wasm
  ☆135Updated last year
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆173Updated 3 months ago
• esoterra / claw-lang
  The compiler for the Claw language
  ☆122Updated 2 months ago
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆82Updated this week
• WebAssembly / exception-handling
  Proposal to add exception handling to WebAssembly
  ☆166Updated 9 months ago
• DouglasDwyer / wasm_component_layer
  WebAssembly component model implementation for any backend.
  ☆87Updated 9 months ago
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆53Updated 4 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated 2 years ago
• moonbitlang / MoonLLVM
  A Tiny, Friendly Companion to LLVM
  ☆44Updated 3 weeks ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated 8 months ago