Editor Support

From K Framework
Revision as of 06:41, 12 January 2017 by Tserban2 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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