bytecodealliance / wevalLinks
the WebAssembly partial evaluator
☆102Updated last month
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 last week
- ☆174Updated last month
- A draft proposal for spawning threads in WebAssembly☆72Updated 3 months ago
- ☆58Updated 3 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆39Updated this week
- Wasm Analysis Framework For Lightweight Experiments☆50Updated 3 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆117Updated last week
- Wasm SpecTec specification tools☆72Updated last week
- Concrete Syntax Tree library☆104Updated last week
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- ☆30Updated 7 months ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆79Updated 3 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆122Updated last week
- Test materials for getting JIT support for wizer☆116Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- RFC process for Bytecode Alliance projects☆68Updated 2 weeks ago
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- world's worst interpreter☆62Updated 5 months ago
- The compiler for the Claw language☆118Updated last week
- Proposal to add branch hinting functionality to WebAssembly☆19Updated 3 months ago
- Vector operations for WebAssembly☆51Updated 3 weeks ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆44Updated last year
- The Solid-State Register Allocator☆87Updated 3 years ago
- Multiple per-module memories for Wasm☆135Updated 10 months ago
- The WebAssembly Indirect Call Inliner☆27Updated last year
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆36Updated last year
- ☆37Updated 2 months ago
- A repl for WebAssembly Components☆112Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆49Updated last month