Editor Support

This page lists (alphabetically) known Editor/IDE plugins for K.

Please feel free to contribute to any of the projects below (via pull requests) or to suggest new entries.

Atom

K/Maude syntax highlighter for Atom based on the BBEdit grammar described below

• Source: https://github.com/traiansf/language-k

BBEdit/TextWrangler

K/Maude syntax highlighter for TextWrangler/BBEdit

• Source: https://github.com/kframework/k-editor-support/tree/master/BBEdit

Emacs

Emacs mode for K

• Source: https://github.com/kframework/k-editor-support/tree/master/emacs

IntelliJ Idea

• Comprehensive plugin for IntelliJ Idea
• Binary: https://github.com/kframework/k-editor-support/blob/master/k-idea-plugin.jar
• Source: https://github.com/kframework/k-editor-support/tree/master/k-idea-plugin-src

Notepad++

K syntax highlighter for Notepad++

• Source: https://github.com/kframework/k-editor-support/tree/master/notepad%2B%2B

Pygments

Support for https://pygments.org/ Pygments

• Source: https://github.com/kframework/k-editor-support/tree/master/pygments
• Note: the lexer is far from being complete.

Vim

K/Maude syntax highlighter for vim

• Source: https://github.com/kframework/k-editor-support/tree/master/vim

Visual Studio Code

K extension for Visual Studio Code

• Extension page on Visual Studio Marketplace: https://marketplace.visualstudio.com/items?itemName=clv.kframework
• Source code: https://github.com/LucianCumpata/K-VSCode