brurucy / materialized-viewLinks
☆18Updated 6 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:
- ☆18Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆140Updated 2 weeks ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Datalog with equality for rust☆71Updated last week
- An interactive Datalog☆56Updated 2 weeks ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A programming language for data stream analytics.☆22Updated last month
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆21Updated last month
- A modular implementation of timely dataflow in Rust☆119Updated last week
- A different approach to an E-graph library☆28Updated 5 months ago
- Visualization for Timely Dataflow and Differential Dataflow programs☆70Updated 4 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated last week
- The Materialize SQL parser☆30Updated 5 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
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated this week
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Engines, queries, and data for dynamic Datalog computation☆131Updated 4 years ago
- A Rust port of Jane Street's Incremental library.☆28Updated 10 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 5 months ago
- ☆86Updated last year
- Diagnostic tools for timely dataflow computations☆48Updated 3 years ago
- A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.☆60Updated 4 months ago
- Prototype compiler from SaneQL to SQL☆86Updated last year
- First-class compile‑time Arrow schemas for Rust.☆161Updated this week
- Large object allocator for Rust☆21Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- ☆49Updated 5 months ago