Alternatives and similar repositories for stabilizer

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

• OfekShilon / optview2
  User-oriented fork of LLVM's opt-viewer
  ☆140Updated 8 months ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆52Updated 4 months ago
• jdmccalpin / low-overhead-timers
  Very low-overhead timer/counter interfaces for C on Intel 64 processors.
  ☆134Updated 5 years ago
• intel / ittapi
  Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) APIs
  ☆113Updated last week
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆151Updated 2 months ago
• pkolbus / compiler-warnings
  A list of compiler warning flags for different GCC and clang versions
  ☆64Updated last month
• yosefk / funtrace
  A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries
  ☆174Updated 2 months ago
• arvidn / struct_layout
  tool to show the structure layout of types in your C/C++ program, highlighting padding
  ☆125Updated 2 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• b-shi / PMC-PMI
  Performance Counter Measurements at the cycle granularity
  ☆18Updated 3 years ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆55Updated last year
• qlibs / jmp
  C++20 Static Branch library
  ☆59Updated last week
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆29Updated 11 years ago
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆175Updated last month
• eyalz800 / zpp_throwing
  Using coroutines to implement C++ exceptions for freestanding environments
  ☆73Updated 6 months ago
• cmuparlay / concurrent_deferred_rc
  Concurrent Deferred Reference Counting
  ☆166Updated last year
• mjansson / rpmalloc-benchmark
  Benchmarks for our memory allocator
  ☆64Updated last year
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆114Updated 4 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆105Updated 10 months ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆272Updated last year
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆42Updated 9 months ago
• JadLevesque / PPMP-Iceberg
  Preprocessor metaprogramming knowledge obscurity chart
  ☆47Updated last year
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆43Updated 2 weeks ago
• lemire / testingmlp
  Testing memory-level parallelism
  ☆68Updated last year
• cassioneri / teju_jagua
  Teju Jagua
  ☆26Updated last week
• jmuehlig / perf-cpp
  Lightweight recording and sampling of performance counters for specific code segments directly from your C++ application.
  ☆65Updated last week
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆129Updated 2 years ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆280Updated 2 months ago