brurucy / materialized-viewLinks
☆18Updated 3 weeks 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☆68Updated last month
- ☆14Updated 7 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- A Rust port of Jane Street's Incremental library.☆26Updated 4 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆40Updated 3 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆120Updated 3 months ago
- An experimental columnar arena☆43Updated 7 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
- A programming language for data stream analytics.☆21Updated 4 months ago
- The Materialize SQL parser☆29Updated 5 years ago
- Formalization of DBSP☆21Updated last year
- A minimal in-memory database with relational algebraic expressions as queries☆61Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- Large object allocator for Rust☆14Updated this week
- delouse exposes opinionated debugging stubs most useful for tokio based async programs☆27Updated this week
- A different approach to an E-graph library☆25Updated last month
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated this week
- ☆28Updated this week
- A basic log-structured flash datastore☆20Updated 2 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆48Updated last week
- A flat container abstraction for Rust☆14Updated 6 months ago
- Library for building stateful property tests using the proptest crate☆24Updated this week
- Diagnostic tools for timely dataflow computations☆46Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆30Updated last week
- ☆19Updated 2 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 8 years ago