abau / cppsat
Propositional Encodings in C++11
☆18Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for cppsat
- bit & sketches data structures☆60Updated 6 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆35Updated 7 years ago
- Demonstration of LLVM's opt-viewer tool☆70Updated 7 years ago
- Functional Utilities for C++☆40Updated 9 years ago
- A C++ library for concurrent programming☆71Updated 3 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- nkvdb - is a numeric time-series database.☆35Updated 7 years ago
- Synchronization library for C++11☆17Updated 7 years ago
- No sane compiler would optimize atomics: the presentation☆106Updated 8 years ago
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- Experiments with array layouts for comparison-based searching☆80Updated 10 months ago
- compile time assembly interpreter☆84Updated 6 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- Support for Currying and Function Composition in C++☆60Updated 9 years ago
- transducers in C++ 14☆40Updated 10 years ago
- A fast implementation for varbyte 32bit/64bit integer compression☆115Updated 7 years ago
- Swang: A clang tool to check C++ swagg factor.☆37Updated 8 years ago
- ☆30Updated 8 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Benchmark showing the we can randomly hash strings very quickly with good universality☆133Updated 4 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆57Updated 2 years ago
- Benchmark comparing various data serialization libraries (thrift, protobuf etc.) for C++☆35Updated 8 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated 8 months ago
- ☆12Updated 8 years ago
- Library containing high-performance datastructures and utilities for C++☆72Updated 7 years ago
- λ → C++ library for functional programming☆37Updated 7 years ago
- Generates benchmark data for two different data structures, then renders some graphs.☆112Updated 5 years ago