souffle-lang/benchmarks souffle-lang/benchmarks

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Shell
  • Created about 8 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
souffle-lang/benchmarks
github

souffle-lang

Reviews

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

Repository Details

Datalog benchmark suite

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

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

java-pts

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