Alternatives and similar repositories for datafrog

Users that are interested in datafrog are comparing it to the libraries listed below

• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 8 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆37Updated 9 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆47Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆128Updated 4 years ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆90Updated 6 years ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Updated 9 years ago
• michaelwoerister / hamt-rs
  A Persistent Map Implementation based on Hash Array Mapped Tries
  ☆175Updated last year
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 10 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 6 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆26Updated last month
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 5 years ago
• frankmcsherry / pagerank
  Implementation of PageRank in timely dataflow
  ☆74Updated 7 years ago
• nixpulvis / lalrpop-lambda
  A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
  ☆86Updated last year
• utaal / timely-viz
  Tools to visualise and debug a timely-dataflow program
  ☆28Updated 6 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆82Updated 5 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• sujayakar / rsdict
  ☆49Updated 4 months ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆43Updated 5 years ago
• ballard26 / concurrent-hamt
  ☆85Updated 9 years ago
• AltSysrq / lmdb-zero
  Near-zero-cost, unabstracted Rust wrapper for LMDB.
  ☆88Updated 4 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• reem / adamantium
  Functional, Persistent Data Structures in Rust
  ☆51Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• fitzgen / bacon-rajan-cc
  ☆94Updated 2 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 4 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 9 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆50Updated 8 years ago
• frankmcsherry / columnar
  High-throughput columnar serialization in Rust
  ☆185Updated last week
• graydon / z3-rs
  ☆24Updated 7 years ago