oracle/souffle

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

C++

48

24 commits

updated Sep 13, 2017

github.com/souffle-lang

README

Soufflé

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

Project Moved

This project is now deprecated.

Its new home is now officially maintained at https://github.com/souffle-lang.

souffle

translator

Contributors

18 commits

3 commits

2 commits

1 commits

Similar repos

HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming

179

langston-barrett/treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of…

85

facebookarchive/clangir

💀 The former home of clangir, now part of the official LLVM incubator. See website below for…

154

luc-tielen/souffle-haskell

Haskell bindings for the Souffle datalog language

105

llvm/clangir

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

581

Gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in…

93

compiler-explorer/compiler-explorer-tools

Tools for Compiler Explorer

25

move-language/move

2,328

Languages

C++

85.7%

Java

6.2%

M4

3.9%

Yacc

1.4%

Makefile

1.3%

oracle/souffle

DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.

C++

48

24 commits

updated Sep 13, 2017

github.com/souffle-lang

README

Soufflé

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

Project Moved

This project is now deprecated.

Its new home is now officially maintained at https://github.com/souffle-lang.

souffle

translator

Similar repos

HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming

179

langston-barrett/treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of…

85

facebookarchive/clangir

💀 The former home of clangir, now part of the official LLVM incubator. See website below for…

154

luc-tielen/souffle-haskell

Haskell bindings for the Souffle datalog language

105

llvm/clangir

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

581

Gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in…

93

compiler-explorer/compiler-explorer-tools

Tools for Compiler Explorer

25

move-language/move

2,328

Contributors

18 commits

3 commits

2 commits

1 commits

Languages

C++

85.7%

Java

6.2%

M4

3.9%

Yacc

1.4%

Makefile

1.3%