bretthall / Wyatt-STM
Software transactional memory system developed at Wyatt Technology
☆28Updated 5 years ago
Alternatives and similar repositories for Wyatt-STM:
Users that are interested in Wyatt-STM are comparing it to the libraries listed below
- Composable monadic STM for C++ on Free monads☆72Updated 5 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆20Updated 3 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆54Updated 4 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- LLVM-jitted bitmaps☆27Updated 4 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- Compile-time Checked, Type-Safe Formatting in C++14☆36Updated 7 years ago
- ☆49Updated 11 months ago
- ☆12Updated last year
- Poireau: a sampling allocation debugger☆87Updated 3 years ago
- Contract programming for C++☆40Updated last month
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- Bloom filter alternative (C++)☆17Updated 6 years ago
- Simple out-of-process invoker☆18Updated 8 months ago
- The k-LSM: A relaxed, lock-free, linearizable priority queue☆23Updated 7 years ago
- A fast and memory efficient hashmap using sorting to resolve collisions☆43Updated 4 years ago
- Lightweight C++14 utility library. (Modernized, stripped and cleaned-up version of SSVUtils.)☆34Updated 3 years ago
- Constraing solving using functional methods in C++ and Haskell.☆20Updated 9 years ago
- Effective Memory Reclamation☆54Updated 5 years ago
- ☆13Updated last year
- Overridable universal operator overloading for C++14☆20Updated 10 years ago
- Utilities to help using Coroutines with Ranges☆23Updated 7 years ago
- Header-only C++17 library for property-based testing.☆126Updated 7 months ago
- AXE: a recursive descent parser generator C++ library☆15Updated 5 months ago
- Extension of the STL algorithms on sets☆20Updated 5 years ago
- Using coroutines as sugar for composing monadic operations☆74Updated 6 years ago
- An efficient, composable design pattern for range processing☆111Updated 3 years ago
- Fastest RPC in the west☆21Updated 5 years ago
- Crit-bit tree (trie) library☆32Updated 10 years ago
- String to Float Benchmark☆19Updated 6 years ago