IBMStreams / OSStreams
Open-source, Cloud-native Streams
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for OSStreams
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆21Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Implementation of popular consensus protocols☆22Updated 4 years ago
- Columnar database on SSD NVMe☆13Updated 3 years ago
- ibmgraphblas☆27Updated 6 years ago
- Backtrace.io's resilient log record framing format☆36Updated 2 years ago
- Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…☆26Updated 2 years ago
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated this week
- Simple, elegant bootstrapping and configuration. YConf is like an ORM for config files.☆11Updated 2 years ago
- Diagrams as text tool for visualizing concurrent operation histories☆20Updated 3 weeks ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Moments Sketch Code☆40Updated 6 years ago
- Relational Algebra at your fingertips☆62Updated 9 years ago
- A subset of BouncyCastle crypto primitives, refactored to use DirectByteBuffer.☆30Updated 7 months ago
- ☆27Updated last year
- Atomix Jepsen tests☆14Updated 7 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆27Updated 2 weeks ago
- Jepsen tests for PostgreSQL☆11Updated 8 months ago
- Cluster management tools for the Hydro stack☆18Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Updated 3 years ago
- ☆13Updated 3 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- TypeDB (Core and Cloud) RPC Communication Protocol☆16Updated this week
- SWC-DB (Super Wide Column Database) - High Performance Scalable Database☆17Updated 4 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago