souffle
There are 22 repositories under souffle topic.
souffle-lang/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.
ekzhang/crepe
Datalog compiler embedded in Rust as a procedural macro
GaloisInc/cclyzerpp
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
ianthehenry/mixologician
optimize your home bar with ✨logic programming✨
langston-barrett/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
oracle/souffle
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
nowarp/misti
TON Static Analyzer
langston-barrett/tree-sitter-souffle
A tree-sitter grammar for Soufflé Datalog
langston-barrett/souffle-lint
A linter for Soufflé Datalog
jdaridis/souffle-lsp-plugin
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
grin-compiler/souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
epost/souffle-mode
Emacs mode for Souffle datalog files.
langston-barrett/rdf-star-souffle
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
ymerkli/smart-contract-taint-analysis
Static taint analyzer for Ethereum smart contracts written in Solidity
py-typedlogic/py-typedlogic
Logic plus python types
nowarp/souffle.js
Soufflé bindings for JavaScript/TypeScript
quentin/aoc22-datalog
Advent of Code 2022 in Datalog
jhabaa/Jeu-du-Souffle
Projet Bureau d'etude
quentin/aoc21-datalog
Advent of Code 2021 in Souffle datalog
quentin/aoc23-datalog
Advent of Code 2023 in Datalog
thepalbi/souffle-points-to-analysis
Souffle + Soot points to analysis