Alternatives and similar repositories for psabi:

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

• Lancern / mlir-gccjit
  MLIR dialect for libgccjit
  ☆20Updated 2 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆54Updated last year
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆113Updated 4 months ago
• xfgusta / cexpl
  Command-line tool to interact with Compiler Explorer
  ☆31Updated 2 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 5 months ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆60Updated last year
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆138Updated 4 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆215Updated 4 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆50Updated this week
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆119Updated 4 years ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 2 years ago
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆40Updated 3 months ago
• managarm / frigg
  Lightweight C++ utilities and algorithms for system programming
  ☆57Updated last month
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆22Updated this week
• orodley / naive
  Self-hosting C toolchain, from scratch
  ☆33Updated 2 weeks ago
• protopopov1122 / kefir
  C17 compiler implementation from scratch
  ☆64Updated last year
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆23Updated 2 weeks ago
• ethan4984 / pastoral
  hobby OS unix-clone
  ☆38Updated 5 months ago
• fuhsnn / slimcc
  C11 compiler with GNU extensions for x86-64 Linux, working towards C23
  ☆120Updated this week
• pfalcon / awesome-program-analysis
  Program Analisys and Transformation survey and links (particular focus on SSA)
  ☆164Updated 3 years ago
• dzaima / intrinsics-viewer
  x86-64, ARM, and RVV intrinsics viewer
  ☆42Updated this week
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆157Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆74Updated 3 weeks ago
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆30Updated last month
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆59Updated last week
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆60Updated 3 years ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 6 years ago