VDM VSCode

overturetool.vdm-vscode · by OvertureVS Marketplace Not verified

First Released:

Last Updated:

Support for the VDM modelling languages: VDM-SL, VDM++ and VDM-RT

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 7, 2026, 22:23 UTC

Total installs6.4K

7d growth11+0.2% over 7d

Community rating★ 5.01 reviews

Latest version2.0.0Updated Apr 16, 2026

8 calculable days · 0 without calculable growth.

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
DebuggersCategory · 2026-11-07 22:34 UTC	#757 of 3,174 0 1d↓3 7d	Not listed
LintersCategory · 2026-11-07 22:34 UTC	#789 of 6,819 0 1d0 7d	Not listed

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.