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 "model-checking" keyword

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 - 405 stars on GitHub - 2 maintainers
Top 7.1% on open-vsx.org
tlaplus/vscode-ide 2026.2.280126
TLA+ language support
228 versions - Latest release: 2 days ago - 42.3 thousand downloads total - 405 stars on GitHub - 1 maintainer
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 Modeling 3 PlusCal 3 verification 3 Specification 3 TLA+ 3 tlc 3 tla 3 specification 3 TLC 3 formal-methods 3 pluscal 3 tlaplus_out 2 tlaplus_cfg 2 tlaplus 2 snippet 2 debuggers 2 keybindings 1 language-model-tools 1 TLA 1 tlaplus_ndjson 1 tools 1