Tópico · souffle
souffle
Repositórios de código aberto acompanhados marcados com souffle, ordenados por estrelas.
Repositórios
2
Total de estrelas
1.685
Média de estrelas
843
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de souffle no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com souffle.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
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+3Variação de estrelas nos últimos 7 dias - #2★ 530+0Variação de estrelas nos últimos 7 dias
