bytecodealliance / wevalLinks
the WebAssembly partial evaluator
☆85Updated 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.☆173Updated last month
- ☆173Updated 9 months ago
- ☆58Updated last month
- A draft proposal for spawning threads in WebAssembly☆63Updated 3 weeks ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated this week
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆110Updated this week
- Wasm Analysis Framework For Lightweight Experiments☆49Updated last month
- ☆25Updated 5 months ago
- ☆36Updated last week
- Concrete Syntax Tree library☆100Updated last week
- Performance comparisons between various virtual interpreter implementation strategies☆44Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 2 years ago
- The WebAssembly Indirect Call Inliner☆27Updated last year
- The compiler for the Claw language☆118Updated 10 months ago
- CIRC: Concurrent Immediate Reference Counting☆52Updated 8 months ago
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆36Updated last year
- Test materials for getting JIT support for wizer☆111Updated 2 years ago
- world's worst interpreter☆62Updated 3 months ago
- Vector operations for WebAssembly☆50Updated last year
- The Solid-State Register Allocator☆87Updated 2 years ago
- A proposal to introduce finer grained control of WebAssembly memory.☆47Updated 5 months ago
- A sandboxed local task runner for Rust☆21Updated 10 months ago
- A zero-allocation, no-std grapheme cluster iterator☆12Updated 5 months ago
- Fast WebAssembly Baseline Compiler☆58Updated 2 years ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆122Updated last year
- Wadler-style pretty-printing combinators in Rust☆162Updated 4 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆20Updated 3 months ago
- A garbage collection library for Rust with zero unsafe code☆116Updated last year
- WebAssembly component model implementation for any backend.☆80Updated 5 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆146Updated last month