Alternatives and similar repositories for cppsat

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

• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆107Updated 9 years ago
• ademakov / Evenk
  A C++ library for concurrent programming
  ☆71Updated 4 years ago
• fsaintjacques / libtwiddle
  bit & sketches data structures
  ☆60Updated 6 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• johnmcfarlane / SG14
  A library for Study Group 14 of Working Group 21 (C++)
  ☆34Updated 8 years ago
• Lazin / Syncope
  Synchronization library for C++11
  ☆17Updated 8 years ago
• lysevi / nkvdb
  nkvdb - is a numeric time-series database.
  ☆35Updated 8 years ago
• lemire / StronglyUniversalStringHashing
  Benchmark showing the we can randomly hash strings very quickly with good universality
  ☆139Updated 9 months ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• matovitch / cosche
  A dependency-based coroutine scheduler
  ☆45Updated 9 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• stryku / ctai
  compile time assembly interpreter
  ☆86Updated 7 years ago
• marcandrysco / Errol
  Binary floating-point to decimal string conversion algorithm.
  ☆104Updated 7 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆92Updated 6 years ago
• KrishnaAchuthan / curry
  Support for Currying and Function Composition in C++
  ☆61Updated 10 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 10 years ago
• regehr / nibble-sort
  Many functions in C for sorting the nibbles in an 8-byte word
  ☆33Updated 10 years ago
• patmorin / arraylayout
  Experiments with array layouts for comparison-based searching
  ☆84Updated last year
• cksystemsgroup / scalloc
  A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
  ☆163Updated 4 months ago
• cruppstahl / libfor
  A very fast scalar implementation for Frame Of Reference integer compression.
  ☆109Updated 9 years ago
• r-kan / semile
  Profile what you care, monitor how it goes (support C/C++)
  ☆91Updated 8 years ago
• xhochy / libfuzzymatch
  C++11 library for fast fuzzy searching
  ☆14Updated 10 years ago
• scotts / streamflow
  Lock-free multithreaded memory allocation
  ☆108Updated 8 years ago
• splinterofchaos / fu
  Functional Utilities for C++
  ☆40Updated 10 years ago
• rescrv / e
  Library containing high-performance datastructures and utilities for C++
  ☆75Updated 8 years ago
• preshing / CompareIntegerMaps
  Generates benchmark data for two different data structures, then renders some graphs.
  ☆112Updated 6 years ago
• appnexus / acf
  An-source C library developed and used at AppNexus.
  ☆111Updated 5 years ago
• Oberon00 / synth
  Semantic syntax highlighting and hyperlinking of C/C++ source code with libclang. (Demo: https://oberon00.github.io/synth)
  ☆170Updated 9 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• schani / linbin
  Linear vs binary search benchmark
  ☆41Updated 5 years ago