tlaplus/CommunityModules

View on GitHub

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Stars: 315
Forks: 48
Open beginner issues: 0
Indexed issues: 13
Avg merge: 13h 27m
Merged PRs (30d): 2

Dominant language: TLA
License: MIT
Last GitHub push: Sep 12, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

13 open issues indexed

More efficient evaluation of SequencesExt!BoundedSeq when e.g. checking refinement Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

tlaplus/CommunityModules#105 · 1 comment · Opened Sep 21, 2024
VectorClock!CausalOrder does not tolerate message loss Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 42/100

tlaplus/CommunityModules#102 · Opened Apr 9, 2024
Request: Add string formatting operator Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

tlaplus/CommunityModules#85 · 11 comments · Opened Nov 18, 2022
Remove Json module Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

tlaplus/CommunityModules#77 · Opened Oct 4, 2022
Add URI-related operators to IOUtils Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

tlaplus/CommunityModules#68 · Opened Feb 17, 2022
`Functions.tla` here clashes with `Functions.tla` in TLAPM Open

bug

Difficulty 5/5 Over a week Newbie friendliness 25/100

tlaplus/CommunityModules#60 · 6 comments · Opened Dec 21, 2021
NoClassDefFoundError `: tlc2/value/impl/KSubsetValue` in Toolbox 1.7.1 CommunityModules.jar Open

Difficulty 4/5 3-5 days Newbie friendliness 28/100

tlaplus/CommunityModules#54 · 3 comments · Opened Nov 2, 2021
Add an SVG!Table/Grid of Text Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

tlaplus/CommunityModules#50 · Opened Sep 30, 2021
Unit tests in `FiniteSetsExtTests` rely on specific line numbers Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

tlaplus/CommunityModules#48 · 1 comment · Opened Sep 12, 2021
Add PlusPy's `Messaging.tla` Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 30/100

tlaplus/CommunityModules#41 · 1 comment · Opened May 17, 2021
Host and Clock from ShiViz module do not appear in error trace Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 35/100

tlaplus/CommunityModules#39 · 5 comments · Opened Apr 2, 2021
SVG!Group expects *sequence* of elements Open

Difficulty 2/5 1-3 hours Newbie friendliness 25/100

tlaplus/CommunityModules#17 · 2 comments · Opened Jul 15, 2020
Consider bundling CommunityModules.jar as part of a TLC release Open

enhancement

tlaplus/CommunityModules#16 · 6 comments · 1 assignee · Opened Jul 5, 2020

tlaplus/CommunityModules

Get new issues in your inbox