danlark1 / quadratic_strict_weak_orderingLinks
☆31Updated 2 years ago
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
Sorting:
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆52Updated 4 months ago
- Selection and partial sorting algorithms☆137Updated 2 months ago
- ☆48Updated 4 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- A benchmark for cache efficient data structures.☆30Updated 6 years ago
- C++20 SIMD Within A Register library☆39Updated 3 weeks ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆55Updated last year
- ☆26Updated last year
- ☆20Updated 2 years ago
- ☆29Updated 5 years ago
- A performant, parallel, probabilistic, random acyclic-graph, low-latency, perfect hash generation library.☆81Updated 3 weeks ago
- performance experiments for C++ exception handling☆30Updated 3 years ago
- Stabilizer: Rigorous Performance Evaluation☆25Updated last year
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆45Updated 5 months ago
- Example implementation of coroutine in C☆20Updated 4 years ago
- A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>☆22Updated 3 years ago
- Automatically spawn gdb on error.☆66Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Materials for the "Principles of Static Program Analysis" course☆9Updated 6 months ago
- Markup source code showing optimizations☆36Updated 5 years ago
- A Clang plugin for generating CLIs from unmodified C++ functions/classes.☆35Updated 3 years ago
- Poireau: a sampling allocation debugger☆97Updated 3 years ago
- Software transactional memory system developed at Wyatt Technology☆29Updated 5 years ago
- ☆53Updated last year
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Generic model checker for concurrent C programs (mirror repository)☆150Updated last month