RuntimeVerification.k-vscode

K Framework

Total downloads

1,670

7d gain

40

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.2.4

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: RuntimeVerification
Name: k-vscode
License: -
Homepage: https://github.com/runtimeverification/k-editor-support/tree/master#readme
Repository: https://github.com/runtimeverification/k-editor-support.git#master
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Syntax highlighting and LSP support for the K Framework

Archive

Release history

3 latest releases