rui314 / psabi
☆57Updated last year
Related projects ⓘ
Alternatives and complementary repositories for psabi
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆129Updated 4 years ago
- Fork of LLVM adding CHERI support☆49Updated this week
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆51Updated 9 months ago
- Baremetal Embeddable Debugger☆10Updated 2 years ago
- Big List of ABI Resources☆36Updated 4 months ago
- A public database of C compiler test cases, minimal test runners, and public test results.☆206Updated 4 years ago
- Command-line tool to interact with Compiler Explorer☆31Updated last year
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- C23 Checked Arithmetic☆93Updated this week
- C11 compiler with GNU extensions for x86-64 Linux, working towards C23☆47Updated this week
- A L4-like micro-kernel OS written in Rust☆52Updated 10 months ago
- Lightweight and performant dynamic binary translation for RISC–V code on x86–64☆57Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆134Updated 2 months ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Interactive C/C++ preprocessor macro debugger☆152Updated 3 years ago
- graph based intermediate representation and backend for optimising compilers☆473Updated 4 months ago
- Working draft of nextgen malloc implementation for musl libc☆118Updated 4 years ago
- Super-parallel Python port of the C-Reduce☆244Updated last week
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆26Updated last month
- The TenDRA Project☆238Updated 3 months ago
- Sled System Emulator☆28Updated last week
- An unofficial guide to contributing to GCC, aimed at newbies☆110Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆77Updated 9 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆26Updated 11 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆110Updated 5 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆29Updated this week
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆45Updated this week
- C17 compiler implementation from scratch☆64Updated last year
- LLVM backend for m88k architecture☆49Updated 3 weeks ago