rui314 / psabi
☆58Updated 2 years ago
Alternatives and similar repositories for psabi:
Users that are interested in psabi are comparing it to the libraries listed below
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆54Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated last week
- C11 compiler with GNU extensions for x86-64 Linux, working towards C23☆128Updated this week
- C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)☆41Updated 3 weeks ago
- An unofficial guide to contributing to GCC, aimed at newbies☆115Updated 5 months ago
- The TenDRA Project☆240Updated 7 months ago
- C17 compiler implementation from scratch☆64Updated last year
- MLIR dialect for libgccjit☆21Updated 3 months ago
- C23 Checked Arithmetic☆122Updated 3 months ago
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆61Updated 3 years ago
- Fork of LLVM adding CHERI support☆51Updated this week
- A public database of C compiler test cases, minimal test runners, and public test results.☆216Updated 4 years ago
- Self-hosting C toolchain, from scratch☆34Updated last month
- A C library for converting between two different encodings in a simple, easy, and powerful way.☆56Updated 7 months ago
- Generic model checker for concurrent C programs (mirror repository)☆142Updated 3 weeks ago
- Experimental AArch64 Emulator Written in C++☆37Updated last year
- various small things not worth their own repo☆30Updated 2 weeks ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆139Updated 4 years ago
- A collection of (public) notes on assorted topics☆75Updated last week
- UB-aware interpreter for LLVM debugging☆26Updated last week
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- C programming language extension: Cedro pre-processor☆49Updated 2 years ago
- graph based intermediate representation and backend for optimising compilers☆502Updated 2 weeks ago
- Portable C Compiler sources☆102Updated 7 months ago
- Lightweight C++ utilities and algorithms for system programming☆59Updated last week
- Interactive C/C++ preprocessor macro debugger☆157Updated 4 years ago
- Command-line tool to interact with Compiler Explorer☆31Updated 2 years ago