Alternatives and similar repositories for quadratic_strict_weak_ordering

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

• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆38Updated 12 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated 2 weeks ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆67Updated 4 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 11 months ago
• Dead2 / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆26Updated 2 years ago
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆46Updated last year
• skarupke / two_bit_mutex
  Mutexes that only use two bits. Either stored in a byte, or in the bottom bits of a pointer
  ☆26Updated 3 years ago
• danlark1 / miniselect
  Selection and partial sorting algorithms
  ☆138Updated 9 months ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆56Updated 3 years ago
• oficsu / clc
  ☆26Updated last year
• 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…
  ☆59Updated 3 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆50Updated last month
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆184Updated last month
• mdadams / clang_libraries_companion
  Companion Repository for the Lecture Slides for the Clang Libraries
  ☆121Updated 3 months ago
• JacksonAllan / c_cpp_hash_tables_benchmark
  A comparative, extendable benchmarking suite for C and C++ hash-table libraries.
  ☆41Updated last year
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆181Updated 5 months ago
• stlab / better-code
  Better Code (redux) course and book materials
  ☆18Updated 2 weeks ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• unterumarmung / fixed_string
  C++17 string with fixed size
  ☆116Updated 4 months ago
• vitaut / schubfach
  A C++ implementation of the Schubfach algorithm - fast and accurate conversion of IEEE-754 double values to decimal strings
  ☆90Updated 3 weeks ago
• jeremy-rifkin / wyrm
  Wyrm is a GCC GIMPLE to LLVM IR transpiler
  ☆57Updated last year
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆32Updated 5 months ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆43Updated last year
• SCT4SP / cest
  Towards a constexpr version of the C++ standard library
  ☆18Updated last year
• BigRedEye / poorprof
  Fast poor man's profiler for Linux
  ☆12Updated 2 years ago
• qlibs / swar
  C++20 SIMD Within A Register library
  ☆46Updated 7 months 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 3 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆120Updated this week
• JPenuchot / ctbench
  Compiler-assisted variable size benchmarking for the study of C++ metaprogram compile times.
  ☆25Updated last year
• tetzank / coat
  EDSL for C++ to make just-in-time code generation easier
  ☆87Updated 2 years ago