Alternatives and similar repositories for abis

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

• rui314 / psabi
  ☆61Updated 2 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• phate / jlm
  ☆71Updated this week
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆123Updated 4 years ago
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆50Updated 4 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• tendra / tendra
  The TenDRA Project
  ☆245Updated last week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆39Updated 2 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• c-testsuite / c-testsuite
  A public database of C compiler test cases, minimal test runners, and public test results.
  ☆253Updated 5 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 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
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆19Updated 3 years ago
• frdwarf / dwarf-assembly
  ☆19Updated 6 years ago
• Amanieu / a-tale-of-binary-translation
  Simple RISC-V emulator presented at Rust Nation 2023
  ☆66Updated 2 years ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 4 months ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆57Updated last week
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆56Updated 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 …
  ☆143Updated 5 years ago
• cdisselkoen / llvm-ir-analysis
  ☆76Updated last year
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆155Updated 2 months ago
• ndmitchell / interpret
  ☆39Updated 4 years ago
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆60Updated 4 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆93Updated last week
• kframework / c-semantics
  Semantics of C in K
  ☆315Updated 3 years ago
• IsaacWoods / Roo
  Little toy programming language with an x86_64 code generator
  ☆17Updated 8 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆45Updated this week