rui314 / psabiLinks
☆58Updated 2 years ago
Alternatives and similar repositories for psabi
Users that are interested in psabi are comparing it to the libraries listed below
Sorting:
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆55Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- MLIR dialect for libgccjit☆21Updated 6 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆118Updated 7 months ago
- C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)☆42Updated 3 months ago
- Lightweight C++ utilities and algorithms for system programming☆60Updated 3 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆150Updated last month
- A public database of C compiler test cases, minimal test runners, and public test results.☆227Updated 4 years ago
- Fork of LLVM adding CHERI support☆52Updated this week
- Interactive C/C++ preprocessor macro debugger☆167Updated 4 years ago
- Baremetal Embeddable Debugger☆12Updated 3 years ago
- C programming language extension: Cedro pre-processor☆49Updated 2 years ago
- Command-line tool to interact with Compiler Explorer☆31Updated 2 years ago
- A L4-like micro-kernel OS written in Rust☆63Updated last year
- C17 compiler implementation from scratch☆64Updated last year
- The TenDRA Project☆241Updated 9 months ago
- C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD☆147Updated this week
- C23 Checked Arithmetic☆132Updated 5 months ago
- A C library for converting between two different encodings in a simple, easy, and powerful way.☆60Updated this week
- This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.☆26Updated 8 months ago
- A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.☆183Updated 3 weeks ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- A collection of (public) notes on assorted topics☆77Updated last week
- Self-hosting C toolchain, from scratch☆36Updated 3 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- ☆59Updated last week
- This repo contains the code of qprofiler which is a tool to profile a guest running on qemu without the need of instrumentation☆31Updated 2 years ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆68Updated 3 years ago
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆141Updated 4 years ago