souffle-lang/souffle
@souffle-langSoufflé é 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.
Estrelas
1.155
Bifurcações
242
Linguagem
C++
Licença
UPL-1.0
Último push
há 2 meses
Intel relacionado (0)
Ainda não há intel relacionado
Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.