Alternatives and similar repositories for cppsat:

Users that are interested in cppsat are comparing it to the libraries listed below

• fsaintjacques / libtwiddle
  bit & sketches data structures
  ☆60Updated 6 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆107Updated 8 years ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆70Updated 7 years ago
• johnmcfarlane / SG14
  A library for Study Group 14 of Working Group 21 (C++)
  ☆35Updated 7 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• lysevi / nkvdb
  nkvdb - is a numeric time-series database.
  ☆35Updated 7 years ago
• KrishnaAchuthan / curry
  Support for Currying and Function Composition in C++
  ☆61Updated 9 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• splinterofchaos / fu
  Functional Utilities for C++
  ☆40Updated 9 years ago
• ademakov / Evenk
  A C++ library for concurrent programming
  ☆71Updated 3 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• matovitch / cosche
  A dependency-based coroutine scheduler
  ☆46Updated 8 years ago
• qpfiffer / Simple-Sparsehash
  A simple re-implementation of Google's sparsehash as a learning excercise.
  ☆40Updated 11 months ago
• stryku / ctai
  compile time assembly interpreter
  ☆84Updated 6 years ago
• gpderetta / libtask
  ☆13Updated 8 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• Manu343726 / Polyop
  Overridable universal operator overloading for C++14
  ☆20Updated 10 years ago
• Lazin / Syncope
  Synchronization library for C++11
  ☆17Updated 7 years ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆82Updated last year
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 6 years ago
• skarupke / reflection
  ☆31Updated 9 years ago
• schani / linbin
  Linear vs binary search benchmark
  ☆40Updated 5 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• lemire / FastDifferentialCoding
  Fast differential coding functions (using SIMD instructions)
  ☆52Updated 7 years ago
• berenm / swang
  Swang: A clang tool to check C++ swagg factor.
  ☆37Updated 9 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated 11 months ago
• efficient / rankselect
  Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences
  ☆54Updated last year
• sztomi / constexpr_murmurhash
  This is a constexpr implementation of the Murmur3A hash function.
  ☆27Updated 9 years ago
• kirkshoop / transducer
  transducers in C++ 14
  ☆40Updated 10 years ago