Tema · souffle
souffle
Repositorios de código abierto monitorizados etiquetados con souffle, ordenados por estrellas.
Repositorios
2
Estrellas totales
1685
Estrellas de media
843
Proporción
0,00%
Temas relacionados
Temas que aparecen con frecuencia junto a souffle en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con souffle.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Soufflé es una variante de Datalog para diseñadores de herramientas que crean análisis en cláusulas de Horn. Soufflé sintetiza un programa en C++ paralelo nativo a partir de una especificación lógica.
★ 1155+3Variación de estrellas de los últimos 7 días - #2★ 530+0Variación de estrellas de los últimos 7 días
