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☆21Updated 4 years ago
- ibmgraphblas☆27Updated 6 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆73Updated 7 years ago
- ☆13Updated 5 months ago
- The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…☆74Updated 2 years ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆80Updated 3 years ago
- a 64-bit histogram / quantile sketch☆59Updated 6 months ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 11 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
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 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…☆48Updated last year
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Lightweight SQL database with replication☆67Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.☆150Updated last year
- ☆11Updated 7 years ago
- A small DFA for under 16 states☆51Updated 7 years ago
- Instrumentation CPU profiler for Linux and macOS applications☆21Updated 4 months ago
- The Stratego program transformation language☆32Updated 3 months ago
- Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project,…☆30Updated 3 years ago
- Columnar database on SSD NVMe☆14Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 3 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Link to this library and it will log all the LibC functions you are calling and how much time you are spending in them!☆18Updated 7 months ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- A SQLite extension for extracting values from serialized Protobuf messages☆87Updated last month