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 3 months ago
- Selection and partial sorting algorithms☆136Updated last month
- Tool for detecting violations of ordering axioms in STL comparators☆16Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Example implementation of coroutine in C☆20Updated 4 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆55Updated last year
- Search index algorithm for GitHub code search☆26Updated 2 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last month
- C++20 SIMD Within A Register library☆36Updated last week
- parser combinator and AST generator in c++17☆24Updated 2 years ago
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆45Updated 4 months ago
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆18Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- Automatically spawn gdb on error.☆66Updated 2 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 4 months ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Scripts to build binary packages of GCC snapshots☆29Updated last week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 8 months ago
- Stabilizer: Rigorous Performance Evaluation☆25Updated last year
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Updated 2 years ago
- ☆26Updated last year
- A benchmark for cache efficient data structures.☆30Updated 6 years ago
- ☆48Updated 4 years ago
- Testing framework for the quest to find a fast & strong mixer, e. g for hashtables.☆38Updated 4 years ago
- ☆28Updated 5 years ago
- C++ memory allocator with smart GC☆55Updated last year
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- 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 2 years ago