brurucy / materialized-viewLinks
☆19Updated 7 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:
- An interactive Datalog☆62Updated this week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆146Updated last month
- Datalog with equality for rust☆72Updated last week
- An experiment in using DuckDB for a datalog / egg☆28Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- ☆18Updated last year
- A programming language for data stream analytics.☆22Updated 3 months ago
- A different approach to an E-graph library☆28Updated 6 months ago
- A Rust port of Jane Street's Incremental library.☆28Updated 11 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated 3 weeks ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 7 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- A flat container abstraction for Rust☆16Updated last month
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆62Updated last week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 9 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- A modular implementation of timely dataflow in Rust☆119Updated last month
- ☆49Updated 6 months ago
- A functional query language, implemented in Rust☆36Updated last month
- A local first persistent log☆36Updated 3 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated 3 weeks ago
- Visualization for Timely Dataflow and Differential Dataflow programs☆72Updated 4 years ago
- First-class compile‑time Arrow schemas for Rust.☆193Updated this week
- Prototype compiler from SaneQL to SQL☆86Updated 2 years ago
- Static analysis and LSP for SQL in Rust☆88Updated last week
- Rust implementation of the FastLanes compression library☆151Updated 2 weeks ago
- A durable execution engine for rust☆38Updated 4 months ago