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.

souffle-lang

Datalog compiler embedded in Rust as a procedural macro

ekzhang

optimize your home bar with ✨logic programming✨

ianthehenry

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

GaloisInc

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

langston-barrett

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

oracle