IBMStreams / OSStreamsLinks
Open-source, Cloud-native Streams
☆13Updated 4 years ago
Alternatives and similar repositories for OSStreams
Users that are interested in OSStreams are comparing it to the libraries listed below
Sorting:
- Implementation of popular consensus protocols☆22Updated 4 years ago
- ibmgraphblas☆27Updated 6 years ago
- ☆15Updated 7 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- CHR2 to SQL conversion☆14Updated 10 years ago
- Query processor with proven optimizations, ready to use for your JSON store to query semi-structured data with JSONiq. Can also be used a…☆48Updated last year
- A tool to visualize distributed system logs☆83Updated 3 years ago
- ☆11Updated 7 years ago
- Distributed Algorithms — Online Textbook☆16Updated 4 years ago
- A small DFA for under 16 states☆52Updated 7 years ago
- Fast Approximate Membership Filters (C++)☆22Updated 4 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 11 years ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆82Updated 3 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆24Updated 3 years ago
- The Stratego program transformation language☆33Updated 5 months ago
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆32Updated last year
- a 64-bit histogram / quantile sketch☆59Updated 9 months ago
- The Musketeer workflow manager.☆41Updated 6 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 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 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- The current backend of DBToaster, implemented in Scala.☆64Updated 3 years ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆73Updated 7 years ago