IBMStreams / OSStreamsLinks
Open-source, Cloud-native Streams
☆12Updated 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☆28Updated 7 years ago
- Implementation of popular consensus protocols☆22Updated 5 years ago
- ☆17Updated 11 months ago
- The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…☆78Updated 2 years ago
- Lightweight SQL database with replication☆69Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- The Stratego program transformation language☆35Updated 9 months ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆83Updated 3 years ago
- Wayeb is a Complex Event Processing and Forecasting (CEP/F) engine written in Scala.☆149Updated 2 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 week
- CHR2 to SQL conversion☆15Updated 10 years ago
- A small DFA for under 16 states☆54Updated 7 years ago
- ☆11Updated 7 years ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 12 years ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 6 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,…☆31Updated 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!☆22Updated last year
- Instrumentation CPU profiler for Linux and macOS applications☆22Updated 10 months ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 8 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- TLA+ specification of the Ceph consensus algorithm☆24Updated 3 years ago
- Config library for Java☆14Updated 4 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 3 years ago
- Columnar database on SSD NVMe☆15Updated 4 years ago
- TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.☆34Updated 3 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆38Updated 7 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆39Updated 2 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆74Updated 7 years ago