bytecodealliance / weval
the WebAssembly partial evaluator
☆55Updated 5 months ago
Alternatives and similar repositories for weval
Users that are interested in weval are comparing it to the libraries listed below
Sorting:
- A draft proposal for spawning threads in WebAssembly☆62Updated 2 months ago
- ☆58Updated 8 months ago
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 5 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆30Updated last week
- ☆172Updated 6 months ago
- ☆32Updated 2 weeks ago
- A self-generating WebAssembly parser & serializer in Rust.☆18Updated 2 weeks ago
- A repository for the stack switching proposal.☆168Updated 3 months ago
- The WebAssembly Indirect Call Inliner☆27Updated last year
- WebAssembly component model implementation for any backend.☆78Updated 2 months ago
- The Pulse separation logic DSL for F*☆16Updated last week
- A sandboxed local task runner for Rust☆21Updated 7 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆119Updated last year
- world's worst interpreter☆60Updated 3 weeks ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 2 months ago
- Why can't a tree be called Pluplusch?☆28Updated 2 weeks ago
- A highly experiment portable runtime☆19Updated last year
- An alternative `std`-like implementation built on origin☆31Updated 2 months ago
- A garbage collection library for Rust with zero unsafe code☆111Updated 10 months ago
- RFC process for Bytecode Alliance projects☆65Updated last month
- A simple and spec-compliant WebAssembly interpreter☆90Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 8 months ago
- Fork of wasmtime for protoyping WASIp3 work and coordination, not intended for any production use case, purely for development☆19Updated this week
- The compiler for the Claw language☆119Updated 7 months ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- A different approach to an E-graph library☆25Updated last month
- Zig Optimizing Backend☆20Updated this week
- Bison-like, GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action, optimization☆19Updated this week
- A WebAssembly-native stdlib☆70Updated 2 months ago