bytecodealliance / weval
the WebAssembly partial evaluator
☆55Updated 5 months ago
Alternatives and similar repositories for weval:
Users that are interested in weval are comparing it to the libraries listed below
- A draft proposal for spawning threads in WebAssembly☆60Updated last month
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 5 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆27Updated 2 weeks ago
- ☆58Updated 7 months ago
- ☆172Updated 6 months ago
- A repository for the stack switching proposal.☆167Updated 2 months ago
- The WebAssembly Indirect Call Inliner☆26Updated last year
- ☆30Updated this week
- WebAssembly component model implementation for any backend.☆77Updated last month
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 8 months ago
- Why can't a tree be called Pluplusch?☆28Updated last week
- The Pulse separation logic DSL for F*☆16Updated 2 weeks ago
- The compiler for the Claw language☆119Updated 7 months ago
- A garbage collection library for Rust with zero unsafe code☆111Updated 9 months ago
- A repl for WebAssembly Components☆111Updated 10 months ago
- ☆97Updated 6 months ago
- Zig Optimizing Backend☆20Updated last week
- world's worst interpreter☆60Updated this week
- Concrete Syntax Tree library☆93Updated last month
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆119Updated 11 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆18Updated 2 weeks ago
- A simple and spec-compliant WebAssembly interpreter☆90Updated last year
- Resilient LL(1) parser generator for Rust☆139Updated this week
- A benchmark suite and tool to compare different implementations of the same primitives.☆75Updated this week
- ☆15Updated last year
- Compile your WebAssembly programs into SPIR-V shaders☆53Updated last year
- A highly experiment portable runtime☆19Updated last year
- A sandboxed local task runner for Rust☆21Updated 7 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆78Updated 3 weeks ago