34 skills found · Page 1 of 2
tlaplus / ExamplesA collection of TLA⁺ specifications of varying complexities.
tlaplus / DrTLAPlusDr. TLA+ series - learn an algorithm and protocol, study a specification
tlaplus / Vscode TlaplusTLA+ language support for Visual Studio Code
tlaplus / CommunityModulesTLA+ snippets, operators, and modules contributed and curated by the TLA+ community
fizzbee-io / FizzbeeEasiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
DistCompiler / PgoPGo is a source to source compiler from Modular PlusCal specs into Go programs.
muratdem / PlusCal ExamplesPluscal/TLA+ modeling of distributed systems/protocols
tlaplus-community / Tree Sitter TlaplusA tree-sitter grammar for TLA⁺ and PlusCal
Gabriella439 / HasCalHaskell embedding of PlusCal
quux00 / PlusCal ExamplesAlgorithm examples in PlusCal, the algorithm language of Lamport's TLA+
codeplea / Pluscallbackeasy to use callback library for C++
mrc / Tla ToolsTLA+ tools for Emacs
susliko / Tla.nvimTLA+/PlusCal support for Neovim
hwayne / Tla.vimVim plugin for TLA+ and PlusCal
tlaplus / PlusCalCheatSheetPlusCal Cheat Sheet by Stephan Merz
cwi-swat / Tla CiTLA+ 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).
belaban / PluscalTests with PlusCal / TLA+
crytic / WhipstaffA specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
VadimPlh / ArrivalHow to use TLA+ / TLA+ specification of the ClickHouse replication protocol
nano-o / MultiPaxosMultiPaxos and Disk Paxos in TLA+ and PlusCal
