brurucy / materialized-viewLinks
☆19Updated 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:
- An interactive Datalog☆56Updated last week
- ☆18Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆142Updated last month
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Datalog with equality for rust☆71Updated last week
- Datalog + Egg = Good☆66Updated 2 years ago
- A programming language for data stream analytics.☆22Updated 2 months ago
- A modular implementation of timely dataflow in Rust☆119Updated 3 weeks ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- A different approach to an E-graph library☆28Updated 6 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated this week
- delouse exposes opinionated debugging stubs most useful for tokio based async programs☆32Updated 2 weeks ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆21Updated last month
- A Rust port of Jane Street's Incremental library.☆28Updated 10 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 6 months ago
- ☆49Updated 5 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A flat container abstraction for Rust☆16Updated 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
- A functional query language, implemented in Rust☆36Updated 3 weeks ago
- Visualization for Timely Dataflow and Differential Dataflow programs☆71Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Tail the Binlog of a database☆15Updated 3 years ago
- The Materialize SQL parser☆30Updated 5 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 9 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Large object allocator for Rust☆21Updated last week
- ☆48Updated 11 months ago