# TLA+ Community Modules

**Canonical:** https://apis.io/apis/tla-plus-foundation/community-modules/  
**Provider:** TLA Plus Foundation — https://apis.io/providers/tla-plus-foundation/  
**Documentation:** https://github.com/tlaplus/CommunityModules

TLA+ Community Modules is one of 6 APIs that [TLA Plus Foundation](https://apis.io/providers/tla-plus-foundation/) publishes on the [APIs.io](https://apis.io/) network. Tagged areas include Community, Modules, and Specifications. The published artifact set on APIs.io includes API documentation and a GitHub repository.

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.

## Machine-readable artifacts (2)

- **Documentation** — https://github.com/tlaplus/CommunityModules
- **GitHubRepository** — https://github.com/tlaplus/CommunityModules

## Other TLA Plus Foundation APIs (5)

- [TLC Model Checker](https://apis.io/apis/tla-plus-foundation/tlc-model-checker/)
- [TLAPS Proof System](https://apis.io/apis/tla-plus-foundation/tlaps-proof-system/)
- [TLA+ Toolbox IDE](https://apis.io/apis/tla-plus-foundation/tla-toolbox-ide/)
- [TLA+ VS Code Extension](https://apis.io/apis/tla-plus-foundation/vscode-tlaplus/)
- [TLA+ Specification Examples](https://apis.io/apis/tla-plus-foundation/tlaplus-examples/)

## Tags

Community, Modules, Specifications

---

Profiled by [API Evangelist](https://apievangelist.com) and published on [APIs.io](https://apis.io/apis/tla-plus-foundation/community-modules/). The API's provider profile, Kin Score and agent-readiness rating are at https://apis.io/providers/tla-plus-foundation/.