Alternatives and similar repositories for datatoad

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

• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆26Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last week
• triblespace / tribles-rust
  ☆31Updated this week
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆30Updated last year
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆72Updated 4 years ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 2 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆101Updated last year
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆27Updated 6 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• lord / anchors
  self adjusting computations in rust
  ☆136Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆77Updated last year
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆42Updated 5 months ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 4 months ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆24Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆44Updated 10 months ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• ruuda / noblit
  An immutable append-only database
  ☆27Updated 2 weeks ago
• TimelyDataflow / diagnostics
  Diagnostic tools for timely dataflow computations
  ☆46Updated 3 years ago
• ytakano / blisp-repl
  ☆20Updated 2 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• brurucy / materialized-view
  ☆18Updated 2 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆61Updated 5 years ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• maplant / marche
  c'est le marché
  ☆40Updated 2 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, …
  ☆46Updated 9 years ago
• field33 / harriet
  Parser and serializer for the Turtle format
  ☆11Updated 2 years ago
• cmars / statechart
  A rust implementation of statecharts: hierarchical, reactive state machines
  ☆57Updated 7 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago