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.
-
Updated
Apr 5, 2024 - C++
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.
An immutable database for application development and time-travel data compliance, with SQL and XTQL. Developed by @juxt
Securify v2.0
The CodeQL extractor and libraries for Go.
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.
A durable Datalog implementation adaptable for distribution.
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
(subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
A reactive query engine built on differential dataflow.
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
An in-memory datalog implementation for OCaml.
The official repo of Doop, the declarative pointer analysis framework.
Datalog compiler embedded in Rust as a procedural macro
Research on integrating datalog & lambda calculus via monotonicity types
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
A tool for analyzing LLVM bitcode using Datalog.
logic programming in Rust
Add a description, image, and links to the datalog topic page so that developers can more easily learn about it.
To associate your repository with the datalog topic, visit your repo's landing page and select "manage topics."