Sujet · souffle
souffle
Dépôts open source suivis étiquetés souffle, triés par étoiles.
Dépôts
2
Total d'étoiles
1 685
Étoiles en moyenne
843
Part
0,00%
Sujets associés
Sujets qui apparaissent souvent aux côtés de souffle sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés souffle.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Soufflé est une variante de Datalog destinée aux concepteurs d'outils créant des analyses en clauses de Horn. Soufflé synthétise un programme C++ parallèle natif à partir d'une spécification logique.
★ 1 155+3Évolution des étoiles sur les 7 derniers jours - #2★ 530+0Évolution des étoiles sur les 7 derniers jours
