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:
- ibmgraphblas☆27Updated 6 years ago
- Implementation of popular consensus protocols☆21Updated 4 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
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 3 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…☆49Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated 2 years ago
- ☆14Updated 6 months ago
- Bloom + C++☆17Updated 7 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- The Stratego program transformation language☆32Updated 3 months ago
- Config library for Java☆14Updated 3 years ago
- ☆27Updated 3 years ago
- Monte Carlo leak diagnostic for Linux binaries☆18Updated 6 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆133Updated 6 months ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆37Updated 6 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A low-level execution library for analytic data processing.☆32Updated last year
- a 64-bit histogram / quantile sketch☆59Updated 7 months ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- Instrumentation CPU profiler for Linux and macOS applications☆21Updated 5 months ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- ☆11Updated 7 years ago
- A SQLite extension for extracting values from serialized Protobuf messages☆88Updated 2 months ago