TLA+
TLA+ ist eine Sprache und Toolchain für Spezifikationen, die auf TLA, der temporären Logik von Aktionen, basieren. Die TLA Toolbox enthält einen Übersetzer von PlusCal nach TLA+, den TLC-Modellprüfer und eine IDE.
Bildquelle: Wikimedia Commons (CC0) ; Beschreibung: Stack Exchange (CC BY-SA 3.0)
Zeitlicher Verlauf der Relevanz (min-max normalisiert)
Regionale Verteilung (prozentuales Vorkommen in Stellenanzeigen pro Land)
Keine Daten
Attribution - zur Zusammenstellung der Informationen wurden folgenden APIs benutzt:
Stack Exchange API, GitLab API, GitHub API, GitHub Explore, Wikimedia Commons und Wikipedia.