Alternatives and similar repositories for materialized-view:

Users that are interested in materialized-view are comparing it to the libraries listed below

• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 4 months ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆105Updated last month
• brurucy / dbsp-from-scratch
  ☆10Updated 5 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 5 months ago
• harp-lab / gdlog
  ☆80Updated 4 months ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 7 months ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆39Updated 3 weeks ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆22Updated 2 months ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆44Updated 2 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 4 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated 3 weeks ago
• conjure-cp / uniplate
  Simple, boilerplate-free operations on tree shaped data types. Port of the Uniplate Haskell library into Rust.
  ☆21Updated last week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• triblespace / tribles-rust
  ☆27Updated 2 weeks ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆38Updated this week
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆43Updated 5 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆45Updated 9 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆65Updated this week
• antiguru / flatcontainer
  A flat container abstraction for Rust
  ☆14Updated 4 months ago