There are 0 repository under souffle topic.
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.
optimize your home bar with ✨logic programming✨
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
A tree-sitter grammar for Soufflé Datalog
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
Static taint analyzer for Ethereum smart contracts written in Solidity
Advent of Code 2022 in Datalog
Advent of Code 2021 in Souffle datalog
Advent of Code 2023 in Datalog