denzp / rustc-llvm-proxyLinks
Proxy LLVM calls into Rust own shared library in runtime
☆34Updated last year
Alternatives and similar repositories for rustc-llvm-proxy
Users that are interested in rustc-llvm-proxy are comparing it to the libraries listed below
Sorting:
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- A crate to find DWARF debug symbols from stripped binaries☆22Updated 2 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- Library for writing tests for utilities that read text files and produce text output☆22Updated 5 years ago
- Grammar framework.☆12Updated 5 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 5 years ago
- Arena allocator and a handful of useful data structures☆41Updated 5 years ago
- A high-level API for interacting with SMT solvers.☆28Updated 2 months ago
- Modular register allocator algorithms☆106Updated 2 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Ninja is a small build system with a focus on speed. Rust language port.☆17Updated 7 years ago
- A disassembler framework☆18Updated 2 years ago
- High performance LOUDS (Level-Order Unary Degree Sequence) library☆34Updated 11 months ago
- A DSL for Software-Defined Satellite Applications☆24Updated 5 years ago
- Higher level LLDB bindings for Rust built on lldb-sys.☆60Updated 5 months ago
- Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.☆32Updated 8 months ago
- Crunchy unroller - deterministically unroll constant loops☆40Updated 2 weeks ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- C port of the Rust symbol demangler (rustc-demangle)☆43Updated last year
- A simple (unfinished) SMT solver for QF_ABV.☆36Updated 6 years ago
- Link libstdc++ or libc++ automatically or manually☆45Updated 4 months ago
- Reading DWARF information from wasm files.☆19Updated 6 years ago
- Target "triple" support☆54Updated 5 months ago
- A fast, brute force, automatic theorem prover for first order logic☆39Updated 9 months ago
- Make AES-GCM safe to use with random nonces, for any practical number of messages.☆18Updated last year
- New register allocator designed as a successor to regalloc2☆38Updated this week
- Reverse engineering framework.☆36Updated 3 years ago
- A debugger written in Rust☆21Updated 5 years ago