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:
- Datalog with equality for rust☆68Updated this week
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- An interactive Datalog☆36Updated last week
- A programming language for data stream analytics.☆22Updated 5 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆130Updated 5 months ago
- A different approach to an E-graph library☆25Updated last month
- ☆14Updated 8 months ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago
- Library for building stateful property tests using the proptest crate☆24Updated last month
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated last month
- The Materialize SQL parser☆29Updated 5 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆41Updated 4 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- A Rust port of Jane Street's Incremental library.☆27Updated 6 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆35Updated last week
- 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
- An experimental columnar arena☆43Updated 8 months ago
- An ORC reader for Rust☆12Updated 2 years ago
- A basic log-structured flash datastore☆20Updated 2 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Formalization of DBSP☆23Updated last year
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Visualization for Timely Dataflow and Differential Dataflow programs☆67Updated 3 years ago
- ☆13Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- ☆47Updated 7 months ago
- TLA+ specification of the Ceph consensus algorithm☆23Updated 3 years ago
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- A modular implementation of timely dataflow in Rust☆118Updated this week