brurucy / materialized-view

Related projects ⓘ

Alternatives and complementary repositories for materialized-view

• eqlog / eqlog
  Datalog with equality for rust
  ☆55Updated 2 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆57Updated this week
• miestrode / ekege
  A different approach to an E-graph library
  ☆22Updated last month
• harp-lab / gdlog
  ☆75Updated 3 weeks ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆80Updated this week
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆44Updated last year
• cfallin / waffle
  ☆59Updated 2 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 2 weeks ago
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆30Updated this week
• knowsys / nemo
  A fast in-memory rule engine
  ☆80Updated this week
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 3 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆29Updated 2 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆118Updated 5 months ago
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated last year
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 5 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆60Updated last week
• will62794 / tla-web
  Interactive, web-based environment for exploring and visualizing TLA+ specifications.
  ☆72Updated this week
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆41Updated last month
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆89Updated 3 weeks ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆26Updated last month
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆30Updated last year
• komora-io / optimistic-cell
  ☆17Updated last year
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆143Updated 6 months ago
• pijul-scm / sanakirja
  ☆16Updated 7 years ago
• sujayakar / rsdict
  ☆45Updated 6 months ago