Pinned Repositories
benchmarks
Datalog benchmark suite
intellij-datalog
java-pts
Souffle: Tutorial for a Java Points-To Analysis
ppopp19
Experiments from PPoPP19 paper on B-Tree
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.
souffle-lang.github.io
Soufflé
souffle-lib
Souffle Library
souffle-lint
A linter for Soufflé Datalog
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
souffle.vim
Syntax highlighting for souffle files
The Soufflé Project's Repositories
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.
souffle-lang/souffle.vim
Syntax highlighting for souffle files
souffle-lang/souffle-lang.github.io
Soufflé
souffle-lang/ppopp19
Experiments from PPoPP19 paper on B-Tree
souffle-lang/souffle-lib
Souffle Library
souffle-lang/benchmarks
Datalog benchmark suite
souffle-lang/intellij-datalog
souffle-lang/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
souffle-lang/java-pts
Souffle: Tutorial for a Java Points-To Analysis
souffle-lang/souffle-lint
A linter for Soufflé Datalog
souffle-lang/souffle-mode
Emacs mode for Souffle datalog files.
souffle-lang/homebrew-souffle
Brew Scripts
souffle-lang/ppa
Package repository
souffle-lang/souffle-utilities
Utilities for use with Souffle
souffle-lang/souffle-web
A web interface for Soufflé
souffle-lang/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.