Alternatives and similar repositories for reftrack-plugin

Users that are interested in reftrack-plugin are comparing it to the libraries listed below

• tomhea / c2fj
  Compiling C to FlipJump
  ☆91Updated 5 months ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆53Updated 5 months ago
• AZHenley / bignum
  A bignum library for C.
  ☆33Updated last year
• chagui / ninjavis
  Generates visualization from Ninja build logs.
  ☆50Updated last week
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 10 months ago
• oliverkwebb / newtime
  A rethinking of the C time library
  ☆11Updated 4 months ago
• mnurzia / bbre
  Compact, non-backtracking, unicode aware regular expressions in C89
  ☆10Updated 2 months ago
• Rucadi / cpp-match
  ☆43Updated 3 months ago
• moehriegitt / vastringify
  Type-safe Printf in C
  ☆72Updated 5 months ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated last month
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• linkdd / logfmtxx
  Header only C++23 structured logging library using logfmt
  ☆71Updated 3 months ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 9 months ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• ligurio / luzer
  A coverage-guided, native Lua fuzzing engine.
  ☆42Updated this week
• appleseedlab / superc
  The SuperC Parsing Framework
  ☆35Updated last month
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆14Updated 3 weeks ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆56Updated last year
• linkdd / larena
  Yet another simple header only arena allocator for C11
  ☆42Updated last year
• false-schemers / wcpl
  Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI
  ☆13Updated 2 years ago
• dougallj / zlib-dougallj
  Experimental fork of zlib with performance improvements
  ☆34Updated 2 years ago
• goblint / cil
  C Intermediate Language
  ☆147Updated this week
• Keith-Cancel / k-hashv
  A vectorized single header hash function.
  ☆19Updated 7 months ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated 2 years ago
• thooton / jc
  Meta-program C/C++ with JavaScript
  ☆29Updated 2 years ago
• securesystemslab / LLVM-MCA-Daemon
  ☆20Updated 3 months ago
• checkedc / checkedc-llvm-project
  This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…
  ☆15Updated 9 months ago