Thema · apalache
apalache
Erfasste Open-Source-Repos mit dem Tag apalache, sortiert nach Sternen.
Repos
2
Sterne gesamt
2.249
Sterne im Schnitt
1.125
Anteil
0,00%
Verwandte Themen
Themen, die häufig gemeinsam mit apalache am selben Repo auftauchen.
Neue Aufsteiger
Repos, die in den letzten 90 Tagen erstellt und mit apalache getaggt wurden.
In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.
- #1
Eine ausführbare Spezifikationssprache mit hervorragenden Werkzeugen basierend auf der Temporalen Logik der Aktionen (TLA)
★ 1.654+16Sterne-Änderung der letzten 7 Tage - #2★ 595+3Sterne-Änderung der letzten 7 Tage
