Alternatives and similar repositories for abis:

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

• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• phate / jlm
  ☆58Updated this week
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• frdwarf / dwarf-assembly
  ☆18Updated 5 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆72Updated this week
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆102Updated 4 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 7 years ago
• richfelker / mallocng-draft
  Working draft of nextgen malloc implementation for musl libc
  ☆117Updated 4 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• 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.
  ☆26Updated 4 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆94Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆28Updated 11 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 2 years ago
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆114Updated 5 years ago
• wasm3 / wasm-debug
  Direct, source-level WebAssembly debugger
  ☆42Updated 3 years ago
• tchajed / futex-tutorial
  ☆9Updated 5 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• frdwarf / dwarf-synthesis
  ☆27Updated 5 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆22Updated 3 months ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆83Updated 2 years ago
• musec / libpreopen
  Library for wrapping libc functions that require ambient authority
  ☆86Updated 5 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆39Updated this week
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆63Updated 4 years ago
• pornin / cycle-counter
  ☆21Updated last month
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆30Updated this week