open-vsx.org "Modeling" keyword
Top 7.1% on open-vsx.org
228 versions - Latest release: about 21 hours ago - 42.3 thousand downloads total - 405 stars on GitHub - 1 maintainer
tlaplus/vscode-ide 2026.2.280126
TLA+ language support228 versions - Latest release: about 21 hours ago - 42.3 thousand downloads total - 405 stars on GitHub - 1 maintainer
Top 1.4% on open-vsx.org
100 versions - Latest release: 1 day ago - 125 thousand downloads total - 405 stars on GitHub - 2 maintainers
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
alygin/vscode-tlaplus
TLA+ language support5 versions - Latest release: 2 months ago - 2.61 thousand downloads total - 389 stars on GitHub - 1 maintainer
danielvartan/logoscope 0.1.6 💰
NetLogo Syntax Highlighting7 versions - Latest release: about 2 months ago - 842 downloads total - 10 stars on GitHub - 1 maintainer
Provengo/provengo 1.3.0
Provengo Studio is an IDE for working with Provengo projects1 version - Latest release: about 1 month ago - 69 downloads total - 1 maintainer
Related Keywords
vscode-extension
3
Formal models
3
verification
3
tlc
3
PlusCal
3
tla
3
Specification
3
specification
3
TLA+
3
pluscal
3
model-checking
3
formal-methods
3
TLC
3
debuggers
2
snippet
2
tlaplus
2
tlaplus_cfg
2
tlaplus_out
2
nlogox
1
Programming Language Support
1
keybindings
1
Scientific Computing
1
Syntax Highlighting
1
System Dynamics
1
agent-based-modeling
1
individual-based-modeling
1
netlogo
1
open-vsx
1
positron
1
programming-languages
1
simulation-modeling
1
syntax-highlighting
1
visual-studio-code-extension
1
Automation
1
Behavioral Programming
1
BP
1
Formal Methods
1
IDE
1
Model based testing
1
Testing
1
Test Automation
1
QA
1
provengo
1
Process Automation
1
language-model-tools
1
TLA
1
tlaplus_ndjson
1
tools
1
Agent-Based Modeling
1
Code Highlighting
1
Complex Systems
1
Complexity Science
1
Computational Modeling
1
Computational Science
1
Ecological Modeling
1
Education
1
Generative Science
1
Individual-Based Modeling
1
Logo
1
Logo Language
1
Logo Syntax
1
Multi-Agent Systems
1
NetLogo
1
NetLogo Language
1
NetLogo Model
1
NetLogo Source File
1
NetLogo Syntax
1
NetLogo XML Model
1
nlogo
1