DLR-FT / wasm-interpreter
A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
☆16Updated last week
Alternatives and similar repositories for wasm-interpreter:
Users that are interested in wasm-interpreter are comparing it to the libraries listed below
- Debugging WebAssembly? Put some Whamm! on it.☆27Updated this week
- ☆58Updated 7 months ago
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 4 months ago
- Direct, source-level WebAssembly debugger☆43Updated 4 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆13Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- ☆22Updated 4 months ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 5 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆74Updated last month
- A self-generating WebAssembly parser & serializer in Rust.☆17Updated last week
- A WebAssembly interpreter written in C☆97Updated this week
- ☆10Updated 4 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Fast Wasm interpreter in Rust☆18Updated 2 years ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆32Updated last year
- Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks☆27Updated 5 months ago
- WebAssembly Transformation Library for the Component Model☆19Updated 3 weeks ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆52Updated 3 weeks ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- CoreMark 1.0 ported to WebAssembly☆42Updated 4 years ago
- Fast WebAssembly Baseline Compiler☆55Updated last year
- The WASMonkey magically turns exported WASM functions into imported functions.☆16Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆98Updated 2 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 4 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Simple grammar-based test case generator☆31Updated 2 weeks ago
- the WebAssembly partial evaluator☆53Updated 4 months ago
- SFI verifier of Wasm binaries☆81Updated 2 years ago
- Easy SMT solver interaction☆35Updated 3 weeks ago
- Zig bindings and build system for https://github.com/wasm3/wasm3☆42Updated 2 years ago