brurucy / materialized-viewLinks
☆18Updated 5 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☆71Updated last week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated last week
- ☆17Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago
- An interactive Datalog☆55Updated this week
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A programming language for data stream analytics.☆22Updated last month
- A different approach to an E-graph library☆28Updated 4 months ago
- A modular implementation of timely dataflow in Rust☆119Updated last month
- Programming Language for Continuous Deep Analytics☆47Updated 2 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 5 months ago
- Visualization for Timely Dataflow and Differential Dataflow programs☆68Updated 4 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago
- SQL Language server and cli☆87Updated last month
- 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
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- A DuckDB extension to evaluate the Rhai scripting language as part of SQL.☆21Updated last week
- A Rust port of Jane Street's Incremental library.☆27Updated 9 months ago
- The Materialize SQL parser☆29Updated 5 years ago
- Large object allocator for Rust☆20Updated 2 months ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆144Updated 2 weeks ago
- Rust SDK for S2☆38Updated 2 weeks ago
- WASI Data Proposal☆46Updated 4 years ago
- Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.☆52Updated this week
- Streaming and Incremental Computation Framework☆242Updated 2 years ago
- Rust implementation of the FastLanes compression library☆139Updated this week
- ☆83Updated last year
- A local first persistent log☆36Updated last month