brurucy / materialized-viewLinks
☆18Updated 2 months ago
Alternatives and similar repositories for materialized-view
Users that are interested in materialized-view are comparing it to the libraries listed below
Sorting:
- This library provides an implementation of the DBSP language for incremental streaming computations.☆131Updated 6 months ago
- ☆15Updated 9 months ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Datalog with equality for rust☆68Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- A modular implementation of timely dataflow in Rust☆118Updated 3 weeks ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- The Materialize SQL parser☆29Updated 5 years ago
- An interactive Datalog☆38Updated last week
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A programming language for data stream analytics.☆22Updated 6 months ago
- Tail the Binlog of a database☆15Updated 3 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
- Disk backed concurrent ART implementation, with optional generations.☆14Updated last year
- Visualization for Timely Dataflow and Differential Dataflow programs☆67Updated 3 years ago
- A different approach to an E-graph library☆25Updated 2 months ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- ☆48Updated last month
- WASI Data Proposal☆46Updated 3 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆38Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- ☆17Updated 8 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A local first persistent log☆36Updated last month
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆42Updated 5 months ago
- A Rust port of Jane Street's Incremental library.☆27Updated 6 months ago
- Streaming and Incremental Computation Framework☆241Updated 2 years ago
- Rust implementation of the FastLanes compression library☆112Updated 2 weeks ago
- Prototype compiler from SaneQL to SQL☆83Updated last year