The Soufflé Project

The Soufflé Project's repositories

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.

Language:C++UPL-1.0869 45 843

souffle.vim

Syntax highlighting for souffle files

Language:Vim scriptMIT8 3 1

souffle-lang.github.io

Soufflé

Language:HTML7 9 19

ppopp19

Experiments from PPoPP19 paper on B-Tree

Language:C++6 60

souffle-lib

Souffle Library

Language:MakefileUPL-1.03 6 1

benchmarks

Datalog benchmark suite

Language:Shell2 4 1

intellij-datalog

Language:KotlinMIT2 10

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

Language:Java2 20

java-pts

Souffle: Tutorial for a Java Points-To Analysis

Language:Java1 70

souffle-lint

A linter for Soufflé Datalog

Language:RustMIT1 10

souffle-mode

Emacs mode for Souffle datalog files.

Language:Emacs Lisp1 2 3

homebrew-souffle

Brew Scripts

Language:Ruby02 10

ppa

Package repository

05 1

souffle-utilities

Utilities for use with Souffle

Language:Shell000

souffle-web

A web interface for Soufflé

Language:JavaScript010

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Language:RustMIT010