brurucy / materialized-view
☆14Updated 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
- Datalog + Egg = Good☆65Updated last year
- Datalog with equality for rust☆68Updated 3 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆104Updated last week
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆10Updated 4 months ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆32Updated this week
- A different approach to an E-graph library☆24Updated 4 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 5 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 5 months ago
- ☆79Updated 3 months ago
- Minimal Prolog implemented in Rust☆43Updated 4 months ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- An experimental columnar arena☆42Updated 3 months ago
- Engines, queries, and data for dynamic Datalog computation☆122Updated 3 years ago
- ☆20Updated last month
- A JS devtool orchestrator☆39Updated 2 months ago
- Formalization of DBSP☆15Updated last year
- Slog 1.0☆38Updated 8 months ago
- Prototype compiler from SaneQL to SQL☆75Updated last year
- The Brown Benchmark for Table Types (B2T2)☆63Updated 8 months ago
- Library for building stateful property tests using the proptest crate☆23Updated 8 months ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- The Materialize SQL parser☆29Updated 5 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- ☆26Updated this week
- A flat container abstraction for Rust☆14Updated 3 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆13Updated 4 years ago
- A fast in-memory rule engine☆118Updated this week