The Soufflé Project (@souffle-lang)
Guthub

souffle-lang

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    948
  • Global Org. Rank 15,913 (Top 6 %)
  • Registered over 8 years ago
  • Most used languages
    C++
         28.6 %
    Shell
         14.3 %
    Vim Script
         14.3 %
    Makefile     14.3 %
    Java
         14.3 %
    HTML
         14.3 %

Top repositories

1

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.
C++
915
star
2

souffle.vim

Syntax highlighting for souffle files
Vim Script
8
star
3

souffle-lang.github.io

Soufflé
HTML
7
star
4

ppopp19

Experiments from PPoPP19 paper on B-Tree
C++
6
star
5

souffle-lib

Souffle Library
Makefile
3
star
6

benchmarks

Datalog benchmark suite
Shell
3
star
7

java-pts

Souffle: Tutorial for a Java Points-To Analysis
Java
1
star