GitHub repository: runtimeverification/k-editor-support
Primary language: Java
Description: Plugin files for editing K files