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
Nov 26, 2021 - C++
#
souffle
Here are 9 public repositories matching this topic...
Datalog compiler embedded in Rust as a procedural macro
-
Updated
Mar 29, 2021 - Rust
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
-
Updated
Sep 13, 2017 - C++
optimize your home bar with ✨ logic programming✨
-
Updated
Mar 22, 2021 - Prolog
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
haskell
functional-programming
cfa
static-analysis
datalog
control-flow-analysis
lazy-evaluation
closures
stg
souffle
-
Updated
May 21, 2020 - HTML
Static taint analyzer for Ethereum smart contracts written in Solidity
-
Updated
Jul 21, 2020 - Python
Improve this page
Add a description, image, and links to the souffle topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the souffle topic, visit your repo's landing page and select "manage topics."