souffle-lang/souffle-lang.github.io souffle-lang/souffle-lang.github.io

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    HTML
  • Created over 8 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
souffle-lang/souffle-lang.github.io
github

souffle-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Soufflé

More 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

ppopp19

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

souffle-lib

Souffle Library
Makefile
3
star
5

benchmarks

Datalog benchmark suite
Shell
3
star
6

java-pts

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