lenary / abisLinks
Big List of ABI Resources
☆41Updated 11 months ago
Alternatives and similar repositories for abis
Users that are interested in abis are comparing it to the libraries listed below
Sorting:
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- The Solid-State Register Allocator☆86Updated 2 years ago
- ☆63Updated this week
- ☆23Updated 6 months ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- ☆58Updated 8 months ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆30Updated 3 years ago
- ☆58Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆83Updated this week
- Modular register allocator algorithms☆106Updated 2 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated 6 months ago
- MimIR is my Intermediate Representation☆68Updated this week
- ☆71Updated last year
- UB-aware interpreter for LLVM debugging☆29Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- DExTer - Debug Experience Tester☆34Updated 3 years ago
- Faster division by constants that aren't known at compile-time☆25Updated 3 years ago
- A compiler from Rust to C, and a checker for unsafe code☆82Updated 5 years ago
- ☆48Updated 4 years ago
- Visualize git history in a sunburst chart☆13Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- ☆53Updated last year
- ALLVM Tools☆56Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆67Updated 2 weeks ago