bytecodealliance / waffle
Wasm Analysis Framework For Lightweight Experiments
☆34Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for waffle
- ☆58Updated 2 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆16Updated this week
- the WebAssembly partial evaluator☆33Updated this week
- A draft proposal for spawning threads in WebAssembly☆44Updated 3 weeks ago
- A self-generating WebAssembly parser & serializer in Rust.☆15Updated 9 months ago
- The WebAssembly Indirect Call Inliner☆26Updated last year
- Easy SMT solver interaction☆24Updated this week
- A different approach to an E-graph library☆22Updated last month
- Transport-polymorphic, asynchronous session types for Rust☆60Updated 2 years ago
- Rust LLVM bindings☆31Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 7 months ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆55Updated 3 weeks ago
- ☆38Updated 3 years ago
- Reading DWARF information from wasm files.☆19Updated 6 years ago
- Ambient Authority☆19Updated last year
- Rust bindings for libgccjit☆18Updated this week
- A sandboxed local task runner for Rust☆21Updated 2 months ago
- Reverse engineering framework.☆36Updated 2 years ago
- UB-free and deterministic rustc fuzzer☆49Updated last month
- An experiment in an augmented error handling type for Rust☆36Updated this week
- Experimental type level programming in Rust☆38Updated 3 years ago
- Scope Graph Implementation in Rust☆21Updated this week
- ☆10Updated 4 years ago
- Lift enum variants to the type-level.☆31Updated 3 years ago
- Prototype interface for accessing USB devices from WebAssembly Components☆19Updated 2 weeks ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- Liquid Types implementation for Rust☆26Updated 2 years ago
- DWARF program analysis crate☆16Updated 7 months ago