tytus-metrycki

Pinned 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.
Language:C++932 41 856208
souffle-lang.github.io
Soufflé
Language:HTML7 9 1960
mal
mal - Make a Lisp
Language:Assembly0 0 00
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.
Language:C++0 0 00
souffle-lang.github.io
Soufflé
Language:HTML0 0 00
souffle-mode
Emacs mode for Souffle datalog files.
Language:Emacs Lisp0 0 00

tytus-metrycki's Repositories

tytus-metrycki/mal
mal - Make a Lisp
Language:Assembly0 0 00
tytus-metrycki/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.
Language:C++0 0 00
tytus-metrycki/souffle-lang.github.io
Soufflé
Language:HTML0 0 00
tytus-metrycki/souffle-mode
Emacs mode for Souffle datalog files.
Language:Emacs Lisp0 0 00