Alternatives and similar repositories for stabilizer

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

• drti / drti
  Dynamic runtime inlining with LLVM
  ☆66Updated 3 years ago
• jdmccalpin / low-overhead-timers
  Very low-overhead timer/counter interfaces for C on Intel 64 processors.
  ☆135Updated 5 years ago
• danlark1 / quadratic_strict_weak_ordering
  ☆31Updated 2 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆53Updated 6 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆75Updated this week
• mjansson / rpmalloc-benchmark
  Benchmarks for our memory allocator
  ☆68Updated last year
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆176Updated last week
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆45Updated 7 months ago
• yosefk / funtrace
  A fast, small C/C++ function call tracer for x86-64/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries
  ☆177Updated 4 months ago
• isuckatcs / abicorn-on-graduation-ceremony
  It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…
  ☆12Updated 3 months ago
• bkryza / clang-include-graph
  Simple tool for analyzing C++ project include graph
  ☆89Updated last month
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆113Updated 6 years ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆53Updated 2 years ago
• deech / libclang-static-build
  ☆98Updated 3 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆110Updated 11 months ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆31Updated 11 years ago
• notfoundry / ppstep
  Interactive C/C++ preprocessor macro debugger
  ☆169Updated 4 years ago
• intel / Immintrin-debug
  immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…
  ☆56Updated 2 years ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆287Updated this week
• 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
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆156Updated last week
• shuaimu / rustycpp
  ☆61Updated 3 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated 11 months ago
• cassioneri / teju_jagua
  Teju Jagua
  ☆29Updated 2 weeks ago
• pavelkryukov / AoAoAoTT
  Interchangeable AoS and SoA containers
  ☆25Updated 2 years ago
• obilaniu / libpfc
  A small library and kernel module for easy access to x86 performance monitor counters under Linux.
  ☆100Updated last year
• OfekShilon / optview2
  User-oriented fork of LLVM's opt-viewer
  ☆142Updated 2 weeks ago
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆100Updated 4 months ago
• andreas-abel / uiCA
  uops.info Code Analyzer
  ☆280Updated last year
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago