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: 26 Mar 2025
https://github.com/tlaplus/examples
A collection of TLA⁺ specifications of varying complexities.
Last synced: 23 Feb 2026
https://github.com/tlaplus/drtlaplus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
algorithm pluscal protocol tlaplus
Last synced: 25 Jan 2026
https://github.com/tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
algorithm pluscal protocol tlaplus
Last synced: 20 Apr 2025
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: 05 Mar 2026
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: 21 May 2026
https://github.com/tlaplus/communitymodules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 06 Apr 2026
https://github.com/tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
pluscal tla-specification tlaplus
Last synced: 26 Mar 2025
https://github.com/tlaplus-community/tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
grammar parser pluscal tlaplus tree-sitter
Last synced: 07 Oct 2025
https://github.com/mrc/tla-tools
TLA+ tools for Emacs
emacs emacs-mode pluscal tla tlaplus
Last synced: 22 Jul 2025
https://github.com/cwi-swat/tla-ci
TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
Last synced: 20 Jan 2026
https://github.com/rberenguel/tla_lightning
Lightning talk about TLA+ for Scala Exchange 2018
Last synced: 03 Aug 2025
https://github.com/hvanz/paxosinpluscal
Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.
distributed-systems formal-proofs formal-specification formal-verification paxos pluscal tla tlaplus verification
Last synced: 26 Jan 2026
https://github.com/hengxin/tlaplus-pluscal-utils
Utilities for TLA+ and PlusCal
Last synced: 05 Mar 2026
https://github.com/can1357/pluscal-help
A beautiful, dark-mode cheat sheet for PlusCal.
astro cheatsheet documentation formal-methods pluscal tla tlaplus
Last synced: 09 Oct 2025
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: 19 Mar 2026
https://github.com/oxarbitrage/zcash-p2p-spec
Modelling the Zcash P2P network
blockchain p2p pluscal spec tlaplus zcash
Last synced: 03 Feb 2026
https://github.com/flakas/tla-experiments
Experimenting with formal methods using TLA+ and Pluscal
Last synced: 02 Jan 2026
https://github.com/skhoroshavin/tla_playground
Learning and experimenting with TLA toy models
Last synced: 17 Feb 2026
