abau / cppsatLinks
Propositional Encodings in C++11
☆18Updated 6 years ago
Alternatives and similar repositories for cppsat
Users that are interested in cppsat are comparing it to the libraries listed below
Sorting:
- bit & sketches data structures☆60Updated 6 years ago
- No sane compiler would optimize atomics: the presentation☆106Updated 8 years ago
- nkvdb - is a numeric time-series database.☆35Updated 8 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆35Updated 7 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- multi-way atomic compare-and-swap with x64/TSX☆86Updated 8 years ago
- A C++ library for concurrent programming☆71Updated 4 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- Experiments with array layouts for comparison-based searching☆84Updated last year
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- A dependency-based coroutine scheduler☆45Updated 8 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- Functional Utilities for C++☆40Updated 10 years ago
- ☆13Updated 9 years ago
- transducers in C++ 14☆40Updated 10 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- Support for Currying and Function Composition in C++☆61Updated 9 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- A fast implementation for varbyte 32bit/64bit integer compression☆118Updated 8 years ago
- Synchronization library for C++11☆17Updated 7 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Updated 10 years ago
- Swang: A clang tool to check C++ swagg factor.☆37Updated 9 years ago
- Binary floating-point to decimal string conversion algorithm.☆103Updated 7 years ago
- C++11 library for fast fuzzy searching☆14Updated 9 years ago
- LLVM-jitted bitmaps☆27Updated 5 years ago
- compile time assembly interpreter☆85Updated 7 years ago