bytecodealliance / wevalLinks
the WebAssembly partial evaluator
☆97Updated 3 weeks ago
Alternatives and similar repositories for weval
Users that are interested in weval are comparing it to the libraries listed below
Sorting:
- A repository for the stack switching proposal.☆178Updated 3 weeks ago
- ☆174Updated 3 weeks ago
- A draft proposal for spawning threads in WebAssembly☆66Updated 2 months ago
- ☆58Updated 2 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated last week
- Wasm Analysis Framework For Lightweight Experiments☆49Updated 2 months ago
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆114Updated this week
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆121Updated last year
- Concrete Syntax Tree library☆100Updated last month
- ☆29Updated 6 months ago
- WebAssembly component model implementation for any backend.☆82Updated 6 months ago
- Vector operations for WebAssembly☆51Updated last year
- The WebAssembly Indirect Call Inliner☆27Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- Proposal for Type Imports & Exports☆23Updated last year
- A benchmark suite and tool to compare different implementations of the same primitives.☆78Updated 2 months ago
- The compiler for the Claw language☆119Updated 11 months ago
- Multiple per-module memories for Wasm☆135Updated 9 months ago
- ☆36Updated last month
- world's worst interpreter☆62Updated 4 months ago
- Proposal to add branch hinting functionality to WebAssembly☆19Updated 2 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Test materials for getting JIT support for wizer☆115Updated 2 years ago
- A self-generating WebAssembly parser & serializer in Rust.☆20Updated 4 months ago
- Proposal to add exception handling to WebAssembly☆167Updated 5 months ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- RFC process for Bytecode Alliance projects☆70Updated last month
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- A repl for WebAssembly Components☆112Updated last year