7 results found Sort:
- Filter by Primary Language:
- TLA (4)
- C (1)
- Python (1)
- TypeScript (1)
- +
A collection of TLA⁺ specifications of varying complexities.
Created
2016-03-01
442 commits to master branch, last one 6 days ago
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
694 commits to master branch, last one a day ago
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Created
2019-05-22
283 commits to master branch, last one 10 days ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
139 commits to main branch, last one a day ago
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 4 months ago
A tree-sitter grammar for TLA⁺ and PlusCal
Created
2021-03-10
129 commits to main branch, last one 27 days ago