brurucy / materialized-view
☆17Updated 9 months ago
Alternatives and similar repositories for materialized-view:
Users that are interested in materialized-view are comparing it to the libraries listed below
- ☆13Updated 6 months ago
- Datalog + Egg = Good☆66Updated last year
- Datalog with equality for rust☆68Updated this week
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- A programming language for data stream analytics.☆20Updated 3 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 8 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 2 months ago
- ☆28Updated last week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆114Updated 3 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- A Rust port of Jane Street's Incremental library.☆25Updated 3 months ago
- A different approach to an E-graph library☆25Updated 3 weeks ago
- Diagnostic tools for timely dataflow computations☆45Updated 2 years ago
- An experimental columnar arena☆43Updated 6 months ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆34Updated 5 months 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
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Library for building stateful property tests using the proptest crate☆23Updated last month
- A flat container abstraction for Rust☆14Updated 5 months ago
- delouse exposes opinionated debugging stubs most useful for tokio based async programs☆26Updated 2 weeks ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- The Materialize SQL parser☆29Updated 5 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆38Updated this week
- Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.☆21Updated last month
- Zack's experimental tool for querying BPF with SQL.☆39Updated 8 months ago
- ☆19Updated 2 years ago
- Antithesis SDK for Rust☆19Updated 3 months ago
- Rust SDK for S2☆33Updated this week
- Datalog engine based on DuckDB☆10Updated 2 years ago
- Tail the Binlog of a database☆15Updated 3 years ago