Home

VDM VSCode is an extension for Visual Studio Code, aiming to provide all-in-one features and utilities for all the VDM dialects (SL, PP, and RT) in Visual Studio Code.

This project won't be successful without contributions from the community, especially the current and past key contributors:

• Jonas K. Rask @jonaskrask
• Frederik P. Madsen @FrederikPM
• Nick Battle @nickbattle
• Hugo D. Macedo @idhugoid

Thank you so much!