Tag: Specification
Found 10 extensions tagged with "Specification".
Specification related extensions
-
Sysl 0.64.0 VSIX File for VS Code
Write Sysl specs easily with instant visual feedback. ...
-
Sol Language (Deprecated) 5.17.9 VSIX File for VS Code
Syntax highlighting for Sol ...
-
Viper 4.3.1 VSIX File for VS Code
This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning). ...
-
CloudFormation Linter 0.25.4 VSIX File for VS Code
AWS CloudFormation template Linter ...
-
Elephant Specification Language 0.6.9 VSIX File for VS Code
ESL support for VS Code ...
-
PostCSS Language Support 1.0.9 VSIX File for VS Code
Syntax highlighting for modern and experimental CSS in VSCode ...
-
CloudFormation Snippets 3.56.0 VSIX File for VS Code
This extension adds snippets for all the AWS CloudFormation resources into Visual Studio Code. ...