All Categories → No Category → pluscal

Top 3 pluscal open source projects

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

✭ 167

TLA java shell pluscal tlaplus tla-specification

TLA+ language support for Visual Studio Code

✭ 213

typescript javascript CSS HTML TLA shell verification specification vscode-extension model-checking formal-methods tlc pluscal

TLA+ tools for Emacs

✭ 27

emacs lisp TLA emacs emacs-mode pluscal tlaplus

1-3 of 3 pluscal projects