tlaplus/Examples
Auf GitHub ansehenA collection of TLA⁺ specifications of varying complexities.
- Sterne
- 1.6k
- Forks
- 224
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 5
- Ø Merge
- 7 T. 16 Std.
- Gemergte PRs (30 T.)
- 4
- Vorherrschende Sprache
- TLA
- Lizenz
- Keine Lizenzdaten
- Letzter GitHub-Push
- 15.9.2026
- Zuletzt indexiert
- 19.9.2026
- Beitragsleitfaden
- Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- help wanted
Bisher 5 offene Issues indexiert
Issues werden geladen
-
question
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
help wanted
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100