Editor Support

From K Framework
Jump to: navigation, search

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.

Contents

Atom

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

BBEdit/TextWrangler

K/Maude syntax highlighter for TextWrangler/BBEdit

Emacs

Emacs mode for K

IntelliJ Idea

Notepad++

K syntax highlighter for Notepad++

Pygments

Support for http://pygments.org/ Pygments

Vim

K/Maude syntax highlighter for vim

Visual Studio Code

K extension for Visual Studio Code

Personal tools
Namespaces

Variants
Actions
Navigation