7 results found Sort:

202
1.3k
other
46
A collection of TLA⁺ specifications of varying complexities.
Created 2016-03-01
427 commits to master branch, last one 2 days ago
98
828
unknown
107
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Created 2016-07-20
71 commits to master branch, last one 2 years ago
TLA+ language support for Visual Studio Code
Created 2019-07-14
687 commits to master branch, last one 26 days ago
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Created 2019-05-22
280 commits to master branch, last one 2 months ago
10
179
apache-2.0
5
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created 2024-03-26
130 commits to main branch, last one 6 days ago
14
176
apache-2.0
18
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Created 2018-01-17
1,931 commits to main branch, last one 3 months ago
A tree-sitter grammar for TLA⁺ and PlusCal
Created 2021-03-10
128 commits to main branch, last one 3 months ago