Alternatives and similar repositories for psabi

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

• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆119Updated 10 months ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆233Updated 4 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated last week
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆56Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆157Updated 2 weeks ago
• fuhsnn / slimcc
  C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C99
  ☆175Updated this week
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆56Updated this week
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆142Updated 5 years ago
• facebookarchive / clangir
  💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.
  ☆156Updated 3 years ago
• tendra / tendra
  The TenDRA Project
  ☆245Updated last year
• merryhime / mp
  A small header-only C++17 metaprogramming library
  ☆21Updated 4 years ago
• libcxxrt / libcxxrt
  C++ ABI implementation providing low-level support for a standard C++ library (typically libc++)
  ☆44Updated 6 months ago
• lenary / abis
  Big List of ABI Resources
  ☆46Updated last year
• notfoundry / ppstep
  Interactive C/C++ preprocessor macro debugger
  ☆171Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆38Updated last year
• jart / jtckdint
  C23 Checked Arithmetic
  ☆140Updated 3 weeks ago
• silkeh / docker-clang
  Dockerfiles for Clang and LLVM
  ☆107Updated last month
• xfgusta / cexpl
  Command-line tool to interact with Compiler Explorer
  ☆32Updated 2 years ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆121Updated 4 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆31Updated 2 weeks ago
• lac-dcc / wyvern
  Automatic conversion of call by value into call by need in the LLVM IR.
  ☆59Updated last year
• seL4 / util_libs
  ☆59Updated last week
• appleseedlab / maki
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆10Updated 7 months ago
• ainozaki / aarch64-emu
  Experimental AArch64 Emulator Written in C++
  ☆38Updated last year
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆34Updated 11 years ago
• Lancern / mlir-gccjit
  MLIR dialect for libgccjit
  ☆21Updated 8 months ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago
• icculus / fatelf
  Universal binaries for Linux.
  ☆126Updated last year
• preames / public-notes
  A collection of (public) notes on assorted topics
  ☆79Updated last week
• checkedc / checkedc-fork
  This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
  ☆27Updated 10 months ago