Vanlightly / table-formats-tlaplus
TLA+ specs for table formats
☆19Updated 6 months ago
Alternatives and similar repositories for table-formats-tlaplus:
Users that are interested in table-formats-tlaplus are comparing it to the libraries listed below
- ☆84Updated this week
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆29Updated last year
- TLA+ specifications for Kafka related algorithms☆66Updated 3 months ago
- Apache Kafka is an open-source distributed event streaming platform used by thousands of companies. uForwarder aims to address several pa…☆41Updated last month
- The current backend of DBToaster, implemented in Scala.☆63Updated 3 years ago
- Apache datasketches☆95Updated 2 years ago
- Readings in Stream Processing☆122Updated 5 months ago
- Pinterest's simplified and efficient Tiered Storage implementation for Kafka☆20Updated 2 weeks ago
- Idempotent query executor☆51Updated last month
- ☆40Updated 2 weeks ago
- ☆105Updated last year
- sql-logic-test☆61Updated last year
- Harry for Apache Cassandra®☆54Updated 8 months ago
- Lakehouse storage system benchmark☆73Updated 2 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Updated 8 months ago
- Java binding to Apache DataFusion☆76Updated last week
- Multi-hop declarative data pipelines☆114Updated this week
- This repository provides Scotty, a framework for efficient window aggregations for out-of-order Stream Processing.☆77Updated last year
- SQLBench Runners☆13Updated last year
- An arrow flight extension to support ticking datasets via IPC☆23Updated 5 months ago
- The (B)ig (F)unction (T)axonomy is a detailed reference for common compute functions executed by different libraries, databases, and tool…☆16Updated 4 months ago
- Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17☆54Updated 11 months ago
- In-Memory Analytics for Kafka using DuckDB☆116Updated this week
- Demonstration of a Hive Input Format for Iceberg☆26Updated 4 years ago
- Styx: Transactional Stateful Functions on Streaming Dataflows☆27Updated this week
- A highly available and infinitely scalable, drop-in replacement for Kafka Streams☆17Updated this week
- ☆13Updated 3 weeks ago
- Mock streaming data generator☆16Updated 10 months ago
- Spark* shuffle plugin for support shuffling data through a remote Hadoop-compatible file system, as opposed to vanilla Spark's local-dis…☆21Updated last year
- Amundsen Gremlin☆21Updated 2 years ago