wasm-superopt / rocinanteLinks
☆10Updated 5 years ago
Alternatives and similar repositories for rocinante
Users that are interested in rocinante are comparing it to the libraries listed below
Sorting:
- A symbolic evaluator for MIR☆19Updated 5 years ago
- ☆58Updated 3 months ago
- Modular register allocator algorithms☆105Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- Reverse engineering framework.☆36Updated 3 years ago
- Target "triple" support☆53Updated last month
- New register allocator designed as a successor to regalloc2☆50Updated this week
- A WebAssembly test case generator☆43Updated 5 years ago
- A simple and spec-compliant WebAssembly interpreter☆93Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 7 months ago
- dlmalloc ported into Rust☆112Updated 2 months ago
- Virtual Machine/Interpreter dispatch method experiments in Rust☆36Updated 7 years ago
- LLVM IR to Cranelift IR translator☆36Updated 6 years ago
- An arbitrary-precision floating-point library in Rust☆46Updated 5 months ago
- Rust bindings for libgccjit☆23Updated last week
- ☆62Updated 7 years ago
- Arbitrary precision integers library.☆28Updated 4 years ago
- A growable bit-vector for Rust, optimized for size☆45Updated 8 months ago
- Synthesis of Loop-free Programs in Rust☆67Updated 5 years ago
- Using Type-Level Programming in Rust to Make Safer Hardware Abstractions☆53Updated 3 years ago
- A collection of custom allocators☆45Updated 8 years ago
- A different approach to an E-graph library☆28Updated 4 months ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Rust library for displaying compiler diagnostics like rustc☆24Updated 2 years ago
- A new register allocator☆239Updated 3 weeks ago
- Composable, lock-free, allocation-light data structures☆60Updated 7 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆52Updated last month
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- Automatic peephole optimizer for Cranelift JIT compiler☆19Updated 4 years ago