cfallin / waffle
☆58Updated 5 months ago
Alternatives and similar repositories for waffle:
Users that are interested in waffle are comparing it to the libraries listed below
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- A different approach to an E-graph library☆24Updated 4 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆75Updated last week
- Wasm Analysis Framework For Lightweight Experiments☆39Updated 2 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- the WebAssembly partial evaluator☆46Updated 2 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆18Updated this week
- A new register allocator☆224Updated last month
- A meta-JIT library for Rust interpreters☆162Updated 2 years ago
- New register allocator designed as a successor to regalloc2☆31Updated last week
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated last year
- sptr: The Strict Provenance Polyfill☆76Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆38Updated 4 years ago
- world's worst interpreter☆59Updated 7 months ago
- An experiment in an augmented error handling type for Rust☆38Updated this week
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- A draft proposal for spawning threads in WebAssembly☆52Updated this week
- RFC process for Bytecode Alliance projects☆63Updated 4 months ago
- ☆10Updated 4 years ago
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆55Updated 3 years ago
- A simple and spec-compliant WebAssembly interpreter☆89Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆32Updated 10 months ago
- Rust LLVM bindings☆31Updated 2 years ago
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 9 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- ☆51Updated last year
- yk packages☆32Updated this week