lenary / abis

Related projects ⓘ

Alternatives and complementary repositories for abis

• rui314 / psabi
  ☆57Updated last year
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆77Updated 9 months ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆65Updated 3 years ago
• smowton / llpe
  ☆49Updated 8 months ago
• frdwarf / dwarf-synthesis
  ☆26Updated 5 years ago
• jart / jtckdint
  C23 Checked Arithmetic
  ☆93Updated this week
• drh / iburg
  A Tree Parser Generator
  ☆92Updated last month
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆23Updated 10 months ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆83Updated 2 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆19Updated last year
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆25Updated 2 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆101Updated 2 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆54Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆86Updated 2 years ago
• lemire / validateutf8-experiments
  Reproducible experimeents on UTF-8 validation using SIMD instructions
  ☆40Updated 3 months ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆49Updated this week
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆68Updated this week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆62Updated last month
• 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 last month
• phate / jlm
  ☆52Updated this week
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆26Updated 11 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆54Updated 2 weeks ago
• SNSystems / DIVA
  Debug Information Visual Analyzer
  ☆77Updated last month
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆63Updated 2 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year