bytecodealliance / waffle
Wasm Analysis Framework For Lightweight Experiments
☆42Updated 4 months ago
Alternatives and similar repositories for waffle:
Users that are interested in waffle are comparing it to the libraries listed below
- ☆58Updated 6 months ago
- the WebAssembly partial evaluator☆50Updated 4 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆19Updated this week
- The WebAssembly Indirect Call Inliner☆26Updated last year
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated last year
- Easy SMT solver interaction☆35Updated this week
- New register allocator designed as a successor to regalloc2☆36Updated 3 weeks ago
- A draft proposal for spawning threads in WebAssembly☆55Updated 3 weeks ago
- Rust LLVM bindings☆31Updated 2 years ago
- Prototype interface for accessing USB devices from WebAssembly Components☆20Updated 4 months ago
- atomalloc is an asynchronous, atomic, and lock-free memory allocator written in pure safe Rust☆29Updated 2 weeks ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆77Updated 3 weeks ago
- A different approach to an E-graph library☆25Updated 5 months ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Fast Wasm interpreter in Rust☆18Updated 2 years ago
- An alternative `std`-like implementation built on origin☆26Updated 2 weeks ago
- Scope Graph Implementation in Rust☆22Updated 4 months ago
- A sandboxed local task runner for Rust☆21Updated 6 months ago
- We have Crater At Home☆28Updated 5 months ago
- The Pulse separation logic DSL for F*☆14Updated this week
- Ambient Authority☆20Updated last year
- Reading DWARF information from wasm files.☆19Updated 6 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆95Updated 2 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12Updated 10 months ago
- Hello Embedded!☆23Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- A simple and spec-compliant WebAssembly interpreter☆89Updated last year
- A simple macro to create correct opaque pointers☆22Updated 3 years ago