The Soufflé Project

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.

  translator static-code-analysis datalog logic-programming souffle
  C++ UPL-1.0 105 384 60 0 Updated Dec 9, 2020

• souffle-lang.github.io

  Soufflé
  HTML 33 3 0 0 Updated Nov 30, 2020

• souffle.vim

  Syntax highlighting for souffle files
  Vim script MIT 5 5 0 1 Updated Oct 14, 2020

• homebrew-souffle

  Brew Scripts
  Ruby 4 0 0 0 Updated Sep 25, 2020

• intellij-datalog

  Forked from LFrobeen/intellij-datalog
  Kotlin MIT 2 1 0 0 Updated Mar 22, 2020

• souffle-mode

  Forked from epost/souffle-mode

  Emacs mode for Souffle datalog files.
  Emacs Lisp 5 0 0 1 Updated Nov 12, 2019

• benchmarks

  Datalog benchmark suite
  Shell 1 0 0 0 Updated Feb 13, 2019

• ppopp19

  Experiments from PPoPP19 paper on B-Tree
  C++ 0 3 0 0 Updated Jan 12, 2019

• souffle-utilities

  Utilities for use with Souffle
  Shell 0 0 0 0 Updated Feb 22, 2018

• java-pts

  Souffle: Tutorial for a Java Points-To Analysis
  Java 2 1 0 0 Updated Sep 22, 2016