K for Visual Studio Code

Welcome to the K extension for Visual Studio Code!

Please note this extension is no longer maintained and deprecated.

Please install the official K extension here: https://marketplace.visualstudio.com/items?itemName=RuntimeVerification.k-vscode

Features

This extension includes:

• Colorization, Grammar and Snippets
  
• K framework is an open source project and you can view the source code here: https://github.com/kframework

Get Started Writing K in VS Code

• Documentation
• Tutorial

Snippets

Using custom "start" and generic "syntax" snippets

Using custom "tag" and generic "configuration" snippets

Grammar

Made with VSC