IBMStreams / OSStreams
Open-source, Cloud-native Streams
☆13Updated 3 years ago
Alternatives and similar repositories for OSStreams:
Users that are interested in OSStreams are comparing it to the libraries listed below
- Implementation of popular consensus protocols☆21Updated 4 years ago
- ibmgraphblas☆27Updated 6 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆22Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Demonstrations of (in)consistency in various streaming systems.☆23Updated 3 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆19Updated last month
- Parallel boolean circuit evaluation☆20Updated 6 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- FoundationDB Correctness service☆29Updated last week
- Bloom filter alternative (C++)☆17Updated 6 years ago
- Fast Approximate Membership Filters (C++)☆21Updated 3 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆29Updated last week
- Atomix Jepsen tests☆14Updated 8 years ago
- Backtrace.io's resilient log record framing format☆37Updated 3 years ago
- Columnar database on SSD NVMe☆13Updated 3 years ago
- Fastest RPC in the west☆21Updated 5 years ago
- Append-only key-value database on a distributed shared-log☆49Updated 6 months ago
- ☆8Updated 3 years ago
- Sequence data structure with efficient random access insert and erase☆13Updated last year
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 3 years ago
- Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project,…☆29Updated 3 years ago
- ☆24Updated 4 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- Code Examples explained in QCon-London 2020 about TornadoVM☆24Updated 3 years ago
- Bloom + C++☆17Updated 7 years ago
- Example bare-bones gazette consumer application that plays ping pong. _At Scale_!☆16Updated 4 years ago