Proprietário · souffle-lang

souffle-lang

Repositórios de código aberto acompanhados de souffle-lang, ordenados por estrelas.

1 repositório

#1
souffle ↗@souffle-langC++
Soufflé é uma variante de Datalog para desenvolvedores de ferramentas que elaboram análises em cláusulas de Horn. O Soufflé sintetiza um programa C++ nativo e paralelo a partir de uma especificação lógica.
★ 1.155+0Variação de estrelas nos últimos 7 dias