lenary / abisLinks
Big List of ABI Resources
☆53Updated last year
Alternatives and similar repositories for abis
Users that are interested in abis are comparing it to the libraries listed below
Sorting:
- ☆62Updated 3 years ago
- The TenDRA Project☆247Updated 3 months ago
- A public database of C compiler test cases, minimal test runners, and public test results.☆259Updated 5 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated last year
- Working draft of nextgen malloc implementation for musl libc☆123Updated 5 years ago
- Direct, source-level WebAssembly debugger☆52Updated 4 years ago
- ☆20Updated 6 years ago
- Some experiments with SMT solvers and GIMPLE IR☆40Updated 2 years ago
- ☆48Updated 5 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆74Updated this week
- The Solid-State Register Allocator☆87Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆27Updated last year
- Modeling futexes in TLA+☆20Updated last year
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- EBNF grammar of LLVM IR assembly.☆65Updated 3 years ago
- Build your own - linker☆212Updated 4 years ago
- ☆23Updated last year
- ☆74Updated last year
- Pair your compilers up at The ABI Cafe!☆282Updated 7 months ago
- A compiler from Rust to C, and a checker for unsafe code☆84Updated 6 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Updated 3 years ago
- ☆24Updated last year
- A Quick Backend☆379Updated 3 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆300Updated 3 years ago
- GCC Tiny front-end☆107Updated 8 years ago
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆61Updated 4 years ago