Alternatives and similar repositories for stabilizer

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

• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated last week
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆45Updated 8 months ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆100Updated 5 months ago
• jdmccalpin / low-overhead-timers
  Very low-overhead timer/counter interfaces for C on Intel 64 processors.
  ☆134Updated 5 years ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆286Updated last year
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆53Updated 7 months ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆56Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆178Updated 2 weeks ago
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated 2 years ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆34Updated 11 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆114Updated 6 years ago
• notfoundry / ppstep
  Interactive C/C++ preprocessor macro debugger
  ☆171Updated 4 years ago
• akhin / microarchitecture-cheatsheet
  X86 CPU topics overview for developers , oriented towards performance
  ☆201Updated 5 months ago
• asmjit / cult
  CPU Ultimate Latency Test.
  ☆110Updated 2 months ago
• cassioneri / teju_jagua
  Teju Jagua
  ☆31Updated last month
• yosefk / funtrace
  A fast, small C/C++ function call tracer for x86-64/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries
  ☆181Updated 4 months ago
• OfekShilon / optview2
  User-oriented fork of LLVM's opt-viewer
  ☆143Updated last month
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆157Updated 2 weeks ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• pkolbus / compiler-warnings
  A list of compiler warning flags for different GCC and clang versions
  ☆63Updated 3 months ago
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆44Updated 2 weeks ago
• mjansson / rpmalloc-benchmark
  Benchmarks for our memory allocator
  ☆68Updated last year
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆103Updated last year
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆52Updated 2 years ago
• jart / jtckdint
  C23 Checked Arithmetic
  ☆140Updated 3 weeks ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆289Updated last week
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated last year
• aengelke / binopt
  A binary optimization/specialization library supporting multiple rewriters
  ☆115Updated 4 years ago
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 2 years ago