39 skills found · Page 1 of 2
souffle-lang / SouffleSoufflé 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 / CrepeDatalog compiler embedded in Rust as a procedural macro
GaloisInc / Cclyzerppcclyzer++ is a precise and scalable pointer analysis for LLVM code.
luc-tielen / Souffle HaskellHaskell bindings for the Souffle datalog language
ianthehenry / Mixologicianoptimize your home bar with ✨logic programming✨
langston-barrett / TreeedbGenerate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
climent / SouffleKeyboardNo description available
nowarp / MistiTON Static Analyzer
oracle / SouffleDEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
rljacobson / LifetimesA lifetime inference algorithm for the Rust programming language written in Soufflé.
stojanovic / SouffleurSimple command line prompt with retry for empty answers
py-typedlogic / Py TypedlogicLogic plus python types
plast-lab / Cclyzer SouffleCClyzer port to souffle lang
linkml / Linkml DatalogTranslates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
summerspringwei / Souffle AeNo description available
langston-barrett / Souffle LintA linter for Soufflé Datalog
langston-barrett / Tree Sitter SouffleA tree-sitter grammar for Soufflé Datalog
jdaridis / Souffle Lsp PluginSoufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
flowlog-rs / FlowlogFlowLog is an actively developed Datalog-to-Timely compiler that turns Souffle-compatible programs into standalone Differential Dataflow executables.
nikomatsakis / Nll Souffleexperimental variant of nll analysis based on datalog