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
  ☆27Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• brurucy / materialized-view
  ☆19Updated 8 months ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆46Updated last week
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆149Updated 3 weeks ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆30Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 10 months ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆123Updated 2 weeks ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 8 months ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 5 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆43Updated 11 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆56Updated last week
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 2 weeks ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆86Updated 3 weeks ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆133Updated 4 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• aslpavel / fingertree-rs
  FingerTree implemented in rust
  ☆27Updated 2 years ago
• triblespace / triblespace-rs
  ☆36Updated this week
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated last year
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆32Updated 2 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• Query-farm / evalexpr_rhai
  A DuckDB extension to evaluate the Rhai scripting language as part of SQL.
  ☆23Updated last week
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• jonhoo / trawler
  Workload generator that emulates the traffic pattern of lobste.rs
  ☆71Updated 4 years ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆123Updated 2 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Updated 3 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆40Updated 8 months ago