bytecodealliance / wevalLinks
the WebAssembly partial evaluator
☆112Updated 4 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.☆185Updated 2 months ago
- ☆174Updated 4 months ago
- A draft proposal for spawning threads in WebAssembly☆83Updated this week
- ☆58Updated 6 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆69Updated last week
- ☆31Updated 10 months ago
- Wasm Analysis Framework For Lightweight Experiments☆53Updated 6 months ago
- ☆42Updated 5 months ago
- Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆282Updated this week
- Test materials for getting JIT support for wizer☆121Updated 3 years ago
- Wasm SpecTec specification tools☆82Updated this week
- Concrete Syntax Tree library☆114Updated 3 months ago
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- A garbage collection library for Rust with zero unsafe code☆118Updated last year
- A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler☆38Updated 2 years ago
- A fork of Tree Sitter with a pure Rust runtime for WASM support☆53Updated 4 months ago
- WebAssembly component model implementation for any backend.☆88Updated 10 months ago
- Proposal for Type Imports & Exports☆23Updated last year
- world's worst interpreter☆67Updated 8 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆129Updated last month
- CIRC: Concurrent Immediate Reference Counting☆54Updated last year
- The Solid-State Register Allocator☆87Updated 3 years ago
- The WebAssembly Indirect Call Inliner☆27Updated 2 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- Vector operations for WebAssembly☆53Updated 4 months ago
- Seamless bug-finding for C, C++, Rust, Wasm and Zig☆276Updated last week
- The compiler for the Claw language☆123Updated 3 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Proposal to add exception handling to WebAssembly☆167Updated 9 months ago
- A self-generating WebAssembly parser & serializer in Rust.☆26Updated 8 months ago