222 results for “topic:datalog”
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Versioned, fast, distributed Datalog engine for everyone.
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.
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.
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Securify v2.0
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
Logic programming in Rust
Datalog compiler embedded in Rust as a procedural macro
The CodeQL extractor and libraries for Go.
Research on integrating datalog & lambda calculus via monotonicity types
Clojure(Script) client for Declarative Dataflow.
A reactive query engine built on differential dataflow.
A curated list of Clojure resources for dealing with graph-like data.
A language for building Docker/OCI container images
An in-memory datalog implementation for OCaml.
A fast in-memory rule engine
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
The official repo of Doop, the declarative pointer analysis framework.
The React state management library for write-heavy applications
Datalog with support for SMT queries and first-order functional programming
simplified query engine based on logic programming paradigm
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
A logic programming language that has features of both Datalog and answer set programming.
Reactive database environment for your files.
Haskell bindings for the Souffle datalog language
A tool for analyzing LLVM bitcode using Datalog.
Entish is a declarative Datalog-like language for formal RPG rules