Thema · souffle

souffle

Erfasste Open-Source-Repos mit dem Tag souffle, sortiert nach Sternen.

Repos

2

Sterne gesamt

1.685

Sterne im Schnitt

843

Anteil

0,00%

Themen, die häufig gemeinsam mit souffle am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit souffle getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
souffle ↗@souffle-langC++
Soufflé ist eine Datalog-Variante für Werkzeugentwickler, die Analysen in Horn-Klauseln erstellen. Soufflé generiert ein natives, paralleles C++-Programm aus einer Logikspezifikation.
★ 1.155+3Sterne-Änderung der letzten 7 Tage
#2
crepe ↗@ekzhangRust
Datalog-Compiler, eingebettet in Rust als prozedurales Makro.
★ 530+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen