frankmcsherry / datafrog

Related projects ⓘ

Alternatives and complementary repositories for datafrog

• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆43Updated 7 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆66Updated 5 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆36Updated 8 years ago
• ballard26 / concurrent-hamt
  ☆75Updated 8 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆42Updated 2 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆73Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• MaterializeInc / sqlparser
  The Materialize SQL parser
  ☆29Updated 4 years ago
• pliniker / mo-gc
  Garbage collector experiments in Rust
  ☆23Updated 8 years ago
• sujayakar / rsdict
  ☆45Updated 6 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated last week
• DanSimon / peruse
  A parser-combinator library for Rust
  ☆45Updated 8 years ago
• spacejam / historian
  ☆22Updated 5 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 4 months ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆81Updated 4 years ago
• huonw / llvmint
  ☆25Updated 9 years ago
• utaal / timely-viz
  Tools to visualise and debug a timely-dataflow program
  ☆27Updated 5 years ago
• srijs / rust-plumbum
  Conduit-like data processing library for Rust
  ☆55Updated 9 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• Storyyeller / easy_strings
  Ergonomic, garbage collected strings for Rust
  ☆37Updated 7 years ago
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 4 years ago
• harharkh / mayda
  A Rust library to compress integer arrays.
  ☆39Updated 6 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• chalcolith / rslogic
  A logic programming library (inspired by uKanren) in Rust.
  ☆18Updated 8 years ago
• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 4 years ago