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 126 479 66 4 Updated Jul 26, 2021

• souffle-lang.github.io

  Soufflé
  HTML 40 3 0 0 Updated Jul 24, 2021

• souffle-mode

  Forked from epost/souffle-mode

  Emacs mode for Souffle datalog files.
  Emacs Lisp 6 0 2 0 Updated Jun 6, 2021

• souffle-lib

  Souffle Library
  Makefile UPL-1.0 0 1 1 0 Updated May 28, 2021

• souffle.vim

  Syntax highlighting for souffle files
  Vim script MIT 5 6 0 0 Updated May 3, 2021

• homebrew-souffle

  Brew Scripts
  Ruby 5 0 1 0 Updated Sep 25, 2020

• intellij-datalog

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

• souffle-web

  Forked from jbre4/souffle-web

  A web interface for Soufflé
  JavaScript 2 0 0 0 Updated Nov 11, 2019

• benchmarks

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

• ppopp19

  Experiments from PPoPP19 paper on B-Tree
  C++ 0 4 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