danlark1 / quadratic_strict_weak_ordering

Related projects ⓘ

Alternatives and complementary repositories for quadratic_strict_weak_ordering

• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆35Updated 2 years ago
• danlark1 / miniselect
  Selection and partial sorting algorithms
  ☆132Updated 3 months ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆26Updated 11 years ago
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆42Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆66Updated this week
• drepper / optmark
  Markup source code showing optimizations
  ☆35Updated 4 years ago
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆29Updated 5 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 2 months ago
• syntacore / snippy
  ☆40Updated this week
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 5 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆65Updated 3 years ago
• danlark1 / sparse_ngrams
  Search index algorithm for GitHub code search
  ☆21Updated last year
• leissa / fe
  A header-only C++ library for writing compiler/interpreter frontends.
  ☆12Updated 2 weeks ago
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆65Updated 2 years ago
• google / zuckerli
  ☆27Updated 2 years ago
• jermp / mutable_rank_select
  A SIMD-based C++ library providing rank/select queries over mutable bitmaps.
  ☆35Updated last year
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆94Updated 3 months ago
• Dead2 / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆24Updated last year
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• tinyplasticgreyknight / template-turing
  C++ Template Turing Machine
  ☆15Updated 6 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated last year
• InstLatx64 / InstLatX64_Demo
  InstLatX64_Demo
  ☆41Updated 3 months ago
• google / fleetbench
  Benchmarking suite for Google workloads
  ☆116Updated this week
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• nadavrot / fast_log
  A fast implementation of log() and exp()
  ☆49Updated last year
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆28Updated 5 years ago
• skarupke / two_bit_mutex
  Mutexes that only use two bits. Either stored in a byte, or in the bottom bits of a pointer
  ☆25Updated last year
• pavelkryukov / AoAoAoTT
  Interchangeable AoS and SoA containers
  ☆22Updated 2 years ago
• travisdowns / concurrency-hierarchy-bench
  Supporting code for the concurrency hierarchy described in this blog post: https://travisdowns.github.io/blog/2020/07/06/concurrency-cost…
  ☆26Updated 2 years ago