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.

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.

TON Static Analyzer

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

Logic plus python types

A linter for Soufflé Datalog

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

Simba - Remember! Remember Who You ARE! A state-of-the-art unified memory + reasoning plugin for Claude Code, Codex, and pi

Emacs mode for Souffle datalog files.

Advent of Code 2022 in Datalog

Soufflé bindings for JavaScript/TypeScript

Souffle + Soot points to analysis