RuntimeVerification.kaas-vscode

K as a Service

Total downloads

1,125

7d gain

6

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.0.10

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: RuntimeVerification
Name: kaas-vscode
License: BSD-3-Clause
Homepage: https://github.com/runtimeverification/kaas-vscode#readme
Repository: https://github.com/runtimeverification/kaas-vscode.git
Reviews: 0

Taxonomy

Categories

Other

Description

K as a Service (KaaS) extension for VS Code providing K framework integration and tooling

Archive

Release history

4 latest releases