GitHub repository: younes-io/CommunityModules
Description: TLA+ snippets, operators, and modules contributed and curated by the TLA+ community