Alternatives and similar repositories for abis

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

• phate / jlm
  A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation
  ☆75Updated last week
• rui314 / psabi
  ☆62Updated 3 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆82Updated 2 years ago
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆52Updated 4 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆260Updated 5 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated last year
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆107Updated 3 years ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆213Updated 4 years ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 5 years ago
• tendra / tendra
  The TenDRA Project
  ☆249Updated 4 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆89Updated 3 years ago
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• frdwarf / dwarf-assembly
  ☆20Updated 6 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 3 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 …
  ☆150Updated 5 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last year
• 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 last year
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆67Updated 2 years ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• smowton / llpe
  ☆55Updated last year
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated 2 years ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆87Updated 2 weeks ago
• dsw / delta
  Delta assists you in minimizing "interesting" files subject to a test of their interestingness.
  ☆33Updated 3 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆64Updated last week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆104Updated last week
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated 2 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆321Updated 4 years ago