datalog
There are 200 repositories under datalog topic.
cozodb/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
xtdb/xtdb
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
EvgSkv/logica
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
replikativ/datahike
A fast, immutable, distributed & compositional Datalog engine for everyone.
vmware-archive/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
souffle-lang/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
ekzhang/percival
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
eth-sri/securify2
Securify v2.0
pysemtec/semantic-python-overview
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
s-arash/ascent
Logic programming in Rust
ekzhang/crepe
Datalog compiler embedded in Rust as a procedural macro
github/codeql-go
The CodeQL extractor and libraries for Go.
rntz/datafun
Research on integrating datalog & lambda calculus via monotonicity types
sixthnormal/clj-3df
Clojure(Script) client for Declarative Dataflow.
comnik/declarative-dataflow
A reactive query engine built on differential dataflow.
simongray/clojure-graph-resources
A curated list of Clojure resources for dealing with graph-like data.
msv-lab/modus
A language for building Docker/OCI container images
c-cube/datalog
An in-memory datalog implementation for OCaml.
luc-tielen/eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
eth-sri/securify
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
homebaseio/homebase-react
The React state management library for write-heavy applications
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
knowsys/nemo
A fast in-memory rule engine
HarvardPL/formulog
Datalog with support for SMT queries and first-order functional programming
fogfish/datalog
simplified query engine based on logic programming paradigm
GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
robsimmons/dusa
A logic programming language that has features of both Datalog and answer set programming.
luc-tielen/souffle-haskell
Haskell bindings for the Souffle datalog language
plast-lab/cclyzer
A tool for analyzing LLVM bitcode using Datalog.
filipesilva/fdb
Reactive database environment for your files.
etherealmachine/entish
Entish is a declarative Datalog-like language for formal RPG rules
wernsey/Jatalog
Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
ianthehenry/mixologician
optimize your home bar with ✨logic programming✨
jdormit/sicp-logic
A Clojure implementation of the logic programming language from chapter 4 of SICP
langston-barrett/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
GaloisInc/yapall
A precise and scalable pointer analysis for LLVM, written in Ascent