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
• danlark1 / sparse_ngrams
  Search index algorithm for GitHub code search
  ☆21Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆65Updated 3 years ago
• trailofbits / macroni
  C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
  ☆40Updated 3 months ago
• rurban / libu8ident
  unicode security guidelines for identifiers
  ☆19Updated last year
• jwakely / pkg-gcc-latest
  Scripts to build binary packages of GCC snapshots
  ☆28Updated last week
• drepper / optmark
  Markup source code showing optimizations
  ☆35Updated 4 years ago
• nadavrot / bistra
  Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…
  ☆6Updated 8 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆68Updated last week
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 5 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆95Updated 3 months ago
• pavelkryukov / AoAoAoTT
  Interchangeable AoS and SoA containers
  ☆22Updated 2 years ago
• oficsu / clc
  ☆25Updated 9 months ago
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆43Updated 3 years ago
• jfbastien / jit-talk
  ☆47Updated 4 years ago
• tpn / perfecthash
  A performant, parallel, probabilistic, random acyclic-graph, low-latency, perfect hash generation library.
  ☆67Updated this week
• liuliu / co
  Example implementation of coroutine in C
  ☆19Updated 4 years ago
• Dead2 / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆24Updated 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…
  ☆57Updated last year
• 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
• neumannt / exceptionperformance
  performance experiments for C++ exception handling
  ☆30Updated 2 years ago
• yugr / sortcheckxx
  Tool for detecting violations of ordering axioms in STL comparators
  ☆15Updated last year
• google-research / automemcpy
  ☆21Updated 2 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated last year
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆43Updated 3 years ago
• lemire / testingmlp
  Testing memory-level parallelism
  ☆66Updated 8 months ago