TLA Plus Foundation

TLA+ Community Modules

A curated collection of TLA+ snippets, operators, and modules contributed by the TLA+ community, providing reusable formal specification components for common patterns in concurrent and distributed systems.

GitHub

Documentation

📖
Documentation
https://github.com/tlaplus/CommunityModules

SDKs

📦
GitHubRepository
https://github.com/tlaplus/CommunityModules

API entry from apis.yml

apis.yml Raw ↑ 
aid: tla-plus-foundation:community-modules
name: TLA+ Community Modules
description: A curated collection of TLA+ snippets, operators, and modules contributed by the TLA+ community,
  providing reusable formal specification components for common patterns in concurrent and distributed
  systems.
humanURL: https://github.com/tlaplus/CommunityModules
tags:
- Community
- Modules
- Specifications
properties:
- type: Documentation
  url: https://github.com/tlaplus/CommunityModules
- type: GitHubRepository
  url: https://github.com/tlaplus/CommunityModules