Thema · specification-language

specification-language

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

Repos

Sterne gesamt

1.642

Sterne im Schnitt

1.642

Anteil

0,00%

Themen, die häufig gemeinsam mit specification-language am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit specification-language getaggt wurden.

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

#1
quint ↗@quint-coTypeScript
Eine ausführbare Spezifikationssprache mit hervorragenden Werkzeugen basierend auf der Temporalen Logik der Aktionen (TLA)
★ 1.650+15Sterne-Änderung der letzten 7 Tage