tlaplus/CommunityModules
Auf GitHub ansehenTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
- Sterne
- 315
- Forks
- 48
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 13
- Ø Merge
- 13 Std. 27 Min.
- Gemergte PRs (30 T.)
- 2
- Vorherrschende Sprache
- TLA
- Lizenz
- MIT
- Letzter GitHub-Push
- 12.9.2026
- Zuletzt indexiert
- 19.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
tlaplus/CommunityModules#105 · 1 Kommentar ·
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 42/100
tlaplus/CommunityModules#102 ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
tlaplus/CommunityModules#85 · 11 Kommentare ·
-
Remove Json module Offen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
tlaplus/CommunityModules#77 ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
tlaplus/CommunityModules#68 ·
-
bug
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
tlaplus/CommunityModules#60 · 6 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 28/100
tlaplus/CommunityModules#54 · 3 Kommentare ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
tlaplus/CommunityModules#50 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
tlaplus/CommunityModules#48 · 1 Kommentar ·
-
enhancement
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 30/100
tlaplus/CommunityModules#41 · 1 Kommentar ·
-
bug
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
tlaplus/CommunityModules#39 · 5 Kommentare ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 25/100
tlaplus/CommunityModules#17 · 2 Kommentare ·
-
enhancement
tlaplus/CommunityModules#16 · 6 Kommentare · 1 zugewiesene Person ·