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.
Datalog compiler embedded in Rust as a procedural macro
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
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
Soufflé bindings for JavaScript/TypeScript
