Alternatives and similar repositories for psabi:

Users that are interested in psabi are comparing it to the libraries listed below

• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• Lancern / mlir-gccjit
  MLIR dialect for libgccjit
  ☆21Updated 4 months ago
• fuhsnn / slimcc
  C11 compiler with C23/C2y/GNU extensions for x86-64 Linux/BSD
  ☆136Updated last week
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆42Updated last month
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆55Updated last year
• nico / hack
  various small things not worth their own repo
  ☆31Updated last month
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆117Updated 6 months ago
• lioncash / biscuit
  A runtime code generator for RISC-V
  ☆45Updated last month
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆216Updated 4 years ago
• pfalcon / ssabook
  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
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆61Updated 4 years ago
• tendra / tendra
  The TenDRA Project
  ☆241Updated 8 months ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆62Updated last year
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• soasis / cuneicode
  A C library for converting between two different encodings in a simple, easy, and powerful way.
  ☆56Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆147Updated 2 weeks ago
• protopopov1122 / kefir
  C17 compiler implementation from scratch
  ☆64Updated last year
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆34Updated 2 months ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆37Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆52Updated 3 weeks ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated this week
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆69Updated 3 years ago
• seL4 / util_libs
  ☆59Updated 2 weeks ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆24Updated this week
• neumannt / exceptionperformance
  performance experiments for C++ exception handling
  ☆30Updated 3 years ago
• Sentido-Labs / cedro
  C programming language extension: Cedro pre-processor
  ☆49Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago