Thema · specifications

specifications

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

Repos

4

Sterne gesamt

5.690

Sterne im Schnitt

1.423

Anteil

0,00%

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

Neue Aufsteiger

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

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

#1
tlaplus ↗@tlaplusJava
TLC ist ein Modellprüfer für in TLA+ geschriebene Spezifikationen. Die TLA+ Toolbox ist eine IDE für TLA+.
★ 3.026+8Sterne-Änderung der letzten 7 Tage
#2
specs ↗@ipfsHTML
Technische Spezifikationen für den IPFS-Protokollstack
★ 1.238+0Sterne-Änderung der letzten 7 Tage
#3
ircv3-specifications ↗@ircv3
IRCv3-Spezifikationen | Roadmap: https://git.io/IRCv3-Roadmap | Verhaltenskodex: http://ircv3.net/conduct.html
★ 863+2Sterne-Änderung der letzten 7 Tage
#4
rres ↗@raysan5C
Ein einfaches und benutzerfreundliches Dateiformat zum Paketieren von Ressourcen.
★ 562+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen