Alternatives and similar repositories for psabi

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

• tendra / tendra
  The TenDRA Project
  ☆247Updated 3 months ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated last year
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆259Updated 5 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated this week
• fuhsnn / slimcc
  C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C99
  ☆211Updated last week
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆61Updated this week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆186Updated last month
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 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 …
  ☆149Updated 5 years ago
• llvm / llvm-zorg
  ☆86Updated this week
• seL4 / util_libs
  ☆61Updated last month
• notfoundry / ppstep
  Interactive C/C++ preprocessor macro debugger
  ☆176Updated 5 years ago
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆48Updated 10 months ago
• jart / jtckdint
  C23 Checked Arithmetic
  ☆155Updated 5 months ago
• lenary / abis
  Big List of ABI Resources
  ☆53Updated last year
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆79Updated 4 months ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆153Updated this week
• glitchub / arith64
  __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC
  ☆57Updated last year
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆67Updated 2 years ago
• merryhime / mp
  A small header-only C++17 metaprogramming library
  ☆21Updated 4 years ago
• davea42 / libdwarf-code
  Contains source for libdwarf, a library for reading DWARF2 and later DWARF. Contains source to create dwarfdump, a program which prints …
  ☆243Updated last week
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆61Updated 4 years ago
• JadLevesque / PPMP-Iceberg
  Preprocessor metaprogramming knowledge obscurity chart
  ☆53Updated 2 years ago
• xfgusta / cexpl
  Command-line tool to interact with Compiler Explorer
  ☆33Updated 3 years ago
• libfirm / libfirm
  graph based intermediate representation and backend for optimising compilers
  ☆536Updated 10 months ago
• daanx / mimalloc-bench
  Suite for benchmarking malloc implementations.
  ☆468Updated 2 months ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆155Updated 3 years ago