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
- Some experiments with SMT solvers and GIMPLE IR☆72Updated this week
- MLIR dialect for libgccjit☆20Updated last month
- An unofficial guide to contributing to GCC, aimed at newbies☆112Updated 3 months ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆54Updated 11 months ago
- Lightweight C++ utilities and algorithms for system programming☆57Updated 2 weeks ago
- Patches and build scripts to build a managarm distribution☆34Updated last week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- C11 compiler with GNU extensions for x86-64 Linux, working towards C23☆111Updated 2 weeks ago
- Interactive C/C++ preprocessor macro debugger☆153Updated 4 years ago
- Working draft of nextgen malloc implementation for musl libc☆117Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)☆38Updated 2 months ago
- A public database of C compiler test cases, minimal test runners, and public test results.☆211Updated 4 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆134Updated 4 years ago
- A L4-like micro-kernel OS written in Rust☆57Updated last year
- Baremetal Embeddable Debugger☆12Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆28Updated 11 years ago
- Generic model checker for concurrent C programs (mirror repository)☆137Updated 4 months ago
- Research Operating System Kernel☆63Updated 3 weeks ago
- Fork of LLVM adding CHERI support☆50Updated this week
- A C library for converting between two different encodings in a simple, easy, and powerful way.☆56Updated 5 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- hobby OS unix-clone☆36Updated 4 months ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages)☆69Updated 3 years ago
- Build system for OS distributions☆63Updated this week
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆50Updated this week
- C23 Checked Arithmetic☆115Updated last month
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆65Updated 4 years ago
- Auxiliary library for kernel development☆30Updated 2 years ago