danlark1 / quadratic_strict_weak_ordering
☆31Updated last year
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
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆52Updated 2 weeks ago
- Selection and partial sorting algorithms☆135Updated 5 months ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆28Updated 11 years ago
- Search index algorithm for GitHub code search☆21Updated last year
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- Tool for detecting violations of ordering axioms in STL comparators☆16Updated 3 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆72Updated this week
- Testing memory-level parallelism☆67Updated 10 months ago
- Markup source code showing optimizations☆36Updated 4 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆98Updated 5 months ago
- A benchmark for cache efficient data structures.☆29Updated 5 years ago
- CLang Plugin for calculating AST hashes☆15Updated 5 years ago
- A distributed C++ compiler: like distcc, but faster☆164Updated last month
- Interchangeable AoS and SoA containers☆22Updated 2 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆54Updated 11 months ago
- ☆20Updated 2 years ago
- Public source repository for the SPIRAL project☆208Updated last year
- Automatically spawn gdb on error.☆66Updated 2 years ago
- A concept-centered standard library for C++20, enabling safer and more reliable products and a more modern feel for C++ code; Also home o…☆92Updated 2 weeks ago
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆45Updated last month
- Benchmarking suite for Google workloads☆120Updated this week
- Example implementation of coroutine in C☆19Updated 4 years ago
- Poireau: a sampling allocation debugger☆86Updated 2 years ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…☆6Updated 10 months ago
- Stabilizer: Rigorous Performance Evaluation☆25Updated last year
- InstLatX64_Demo☆41Updated this week
- Testing framework for the quest to find a fast & strong mixer, e. g for hashtables.☆37Updated 4 years ago
- Scripts to build binary packages of GCC snapshots☆28Updated this week