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 7 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆37Updated 9 years ago
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 5 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆44Updated 2 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 4 months ago
• AltSysrq / lmdb-zero
  Near-zero-cost, unabstracted Rust wrapper for LMDB.
  ☆84Updated 3 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 5 years ago
• spacejam / rasputin
  (getting to be a) hard to kill scalable linearizabe store
  ☆78Updated 9 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• ballard26 / concurrent-hamt
  ☆80Updated 8 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• utaal / timely-viz
  Tools to visualise and debug a timely-dataflow program
  ☆27Updated 5 years ago
• sujayakar / rsdict
  ☆48Updated 11 months ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆37Updated 3 years ago
• huonw / llvmint
  ☆25Updated 9 years ago
• spacejam / historian
  ☆22Updated 6 years ago
• harharkh / mayda
  A Rust library to compress integer arrays.
  ☆39Updated 6 years ago
• ErichDonGubler / adhesion-rs
  D-inspired contract programming in Rust using macros
  ☆54Updated 3 years ago
• frankmcsherry / graph-map
  A library for working with mmap'd graph data
  ☆11Updated 4 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆87Updated 5 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 8 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆80Updated 4 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• frankmcsherry / recycler
  A small Rust library for recycling types with owned memory
  ☆33Updated 9 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago