The Soufflé Project

PinnedLoading

soufflesoufflePublic
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.
C++ 968 212

Repositories

Showing 10 of 16 repositories

souffle Public
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’s past year of commit activity
C++ 968UPL-1.0 212 129 4 UpdatedMar 12, 2025
souffle-lang.github.io Public
Soufflé
souffle-lang/souffle-lang.github.io’s past year of commit activity
HTML 7 62 12 9 UpdatedOct 7, 2024
souffle-lint Public Forked fromlangston-barrett/souffle-lint
A linter for Soufflé Datalog
souffle-lang/souffle-lint’s past year of commit activity
Rust 2MIT 1 0 0 UpdatedMay 25, 2024
treeedb Public Forked fromlangston-barrett/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
souffle-lang/treeedb’s past year of commit activity
Rust 1MIT 9 0 0 UpdatedMar 3, 2024
homebrew-souffle Public
Brew Scripts
souffle-lang/homebrew-souffle’s past year of commit activity
Ruby0 12 5 0 UpdatedDec 31, 2023
souffle-lsp-plugin Public Forked fromjdaridis/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/souffle-lsp-plugin’s past year of commit activity
Java 3 4 0 0 UpdatedOct 1, 2023
ppa Public
Package repository
souffle-lang/ppa’s past year of commit activity
00 1 0 UpdatedMar 5, 2023
souffle-utilities Public
Utilities for use with Souffle
souffle-lang/souffle-utilities’s past year of commit activity
Shell00 0 0 UpdatedSep 11, 2021
souffle-mode Public Forked fromepost/souffle-mode
Emacs mode for Souffle datalog files.
souffle-lang/souffle-mode’s past year of commit activity
Emacs Lisp 1 6 2 0 UpdatedJun 6, 2021
souffle-lib Public
Souffle Library
souffle-lang/souffle-lib’s past year of commit activity
Makefile 3UPL-1.00 1 0 UpdatedMay 28, 2021