Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by tlaplus
A curated list of projects in awesome lists by tlaplus .
https://github.com/tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
algorithms high-performance java mit-license model-checking specifications tla verification
Last synced: 15 Oct 2024
https://github.com/tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
Last synced: 30 Oct 2024
https://github.com/tlaplus/examples
A collection of TLA⁺ specifications of varying complexities
Last synced: 15 Oct 2024
https://github.com/tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
algorithm pluscal protocol tlaplus
Last synced: 09 Nov 2024
https://github.com/tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
formal-methods model-checking pluscal specification tla tlc verification vscode-extension
Last synced: 30 Oct 2024
https://github.com/tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 30 Oct 2024
https://github.com/tlaplus/azure-cosmos-tla
Azure Cosmos TLA+ specifications
azure cosmosdb model-checking tlaplus
Last synced: 30 Oct 2024