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.☆179Updated last week
- ☆174Updated 2 months ago
- ☆58Updated 3 months ago
- A draft proposal for spawning threads in WebAssembly☆75Updated last week
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- ☆31Updated 8 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆123Updated this week
- Wasm Analysis Framework For Lightweight Experiments☆52Updated 3 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆123Updated last week
- Wasm SpecTec specification tools☆76Updated last week
- Concrete Syntax Tree library☆108Updated last month
- ☆38Updated 3 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- world's worst interpreter☆62Updated 6 months ago
- Test materials for getting JIT support for wizer☆117Updated 3 years ago
- Proposal for Type Imports & Exports☆23Updated last year
- The Solid-State Register Allocator☆87Updated 3 years ago
- The compiler for the Claw language☆119Updated 3 weeks ago
- Proposal to add exception handling to WebAssembly☆166Updated 7 months ago
- The WebAssembly Indirect Call Inliner☆27Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆115Updated last year
- CIRC: Concurrent Immediate Reference Counting☆53Updated 11 months ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- A proposal to introduce finer grained control of WebAssembly memory.☆50Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- Wadler-style pretty-printing combinators in Rust☆170Updated last month
- Multiple per-module memories for Wasm☆135Updated 10 months ago
- Proposal to add branch hinting functionality to WebAssembly☆18Updated 3 months ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆50Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago