bytecodealliance / wevalLinks
the WebAssembly partial evaluator
☆106Updated 2 months 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.☆180Updated 3 weeks ago
- ☆174Updated 2 months ago
- ☆58Updated 4 months ago
- A draft proposal for spawning threads in WebAssembly☆77Updated last month
- Debugging WebAssembly? Put some Whamm! on it.☆48Updated 2 weeks ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆126Updated this week
- Wasm Analysis Framework For Lightweight Experiments☆53Updated 4 months ago
- Concrete Syntax Tree library☆109Updated last month
- ☆31Updated 8 months ago
- Wasm SpecTec specification tools☆80Updated this week
- The compiler for the Claw language☆120Updated last month
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆126Updated last week
- ☆39Updated 3 months ago
- Test materials for getting JIT support for wizer☆117Updated 3 years ago
- A minimal wasm demo with an in-browser editor and language server built with tower-lsp☆46Updated last year
- world's worst interpreter☆63Updated 6 months ago
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- Wadler-style pretty-printing combinators in Rust☆172Updated last month
- WebAssembly component model implementation for any backend.☆86Updated 8 months ago
- ☆98Updated last year
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- A benchmark suite and tool to compare different implementations of the same primitives.☆80Updated 5 months ago
- A repl for WebAssembly Components☆117Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- Proposal to add branch hinting functionality to WebAssembly☆18Updated 4 months ago
- CIRC: Concurrent Immediate Reference Counting☆53Updated last year
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- Resilient LL(1) parser generator for Rust☆177Updated 2 weeks ago
- Multiple per-module memories for Wasm☆136Updated 11 months ago
- The Solid-State Register Allocator☆87Updated 3 years ago