Alternatives and similar repositories for duckalog

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

• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• brurucy / materialized-view
  ☆18Updated 3 weeks ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• langston-barrett / souffle-lint
  A linter for Soufflé Datalog
  ☆14Updated last year
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 6 months ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 4 months ago
• Query-farm / evalexpr_rhai
  A DuckDB extension to evaluate the Rhai scripting language as part of SQL.
  ☆17Updated 2 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆14Updated this week
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆17Updated 3 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 7 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 3 months ago
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated 2 years ago
• harp-lab / vflog
  vertical + gpu + free join + datalog
  ☆20Updated 3 months ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆21Updated last year
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 6 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated 11 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago