Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with pluscal
A curated list of projects in awesome lists tagged with pluscal .
https://github.com/tlaplus/examples
A collection of TLA⁺ specifications of varying complexities
Last synced: 04 Dec 2024
https://github.com/tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
Last synced: 30 Oct 2024
https://github.com/tlaplus/drtlaplus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
algorithm pluscal protocol tlaplus
Last synced: 15 Nov 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: 22 Dec 2024
https://github.com/tlaplus/communitymodules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 15 Nov 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/fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
alloy alloy-analyzer formal-languages formal-methods formal-verification ltl pluscal prism tla tla-plus tlaplus
Last synced: 30 Oct 2024
https://github.com/tlaplus-community/tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
grammar parser pluscal tlaplus tree-sitter
Last synced: 21 Dec 2024
https://github.com/rberenguel/tla_lightning
Lightning talk about TLA+ for Scala Exchange 2018
Last synced: 06 Dec 2024
https://github.com/hengxin/tlaplus-pluscal-utils
Utilities for TLA+ and PlusCal
Last synced: 10 Nov 2024
https://github.com/orsinium-labs/simple-tla
Collection of useful "operators" (functions) to make TLA+ easier to learn and to use
formal-methods learning pluscal testing tla tlaplus verification
Last synced: 16 Nov 2024
https://github.com/skhoroshavin/tla_playground
Learning and experimenting with TLA toy models
Last synced: 12 Nov 2024
https://github.com/flakas/tla-experiments
Experimenting with formal methods using TLA+ and Pluscal
Last synced: 22 Nov 2024