Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

open-vsx.org "PlusCal" keyword

Top 7.1% on open-vsx.org
tlaplus/vscode-ide 2026.3.110120
TLA+ language support
234 versions - Latest release: about 7 hours ago - 49.6 thousand downloads total - 407 stars on GitHub - 1 maintainer
Top 1.4% on open-vsx.org
alygin/vscode-tlaplus-nightly
TLA+ language support (Nightly)
100 versions - Latest release: 1 day ago - 125 thousand downloads total - 407 stars on GitHub - 2 maintainers
alygin/vscode-tlaplus
TLA+ language support
5 versions - Latest release: 2 months ago - 2.61 thousand downloads total - 389 stars on GitHub - 1 maintainer
Related Keywords
vscode-extension 3 Formal models 3 verification 3 tlc 3 Modeling 3 tla 3 Specification 3 specification 3 TLA+ 3 pluscal 3 model-checking 3 formal-methods 3 TLC 3 tlaplus_out 2 tlaplus_cfg 2 tlaplus 2 snippet 2 debuggers 2 tools 1 tlaplus_ndjson 1 TLA 1 language-model-tools 1 keybindings 1