Difference between revisions of "Editor Support"

From K Framework
Jump to: navigation, search
(Atom)
 
Line 29: Line 29:
 
== Visual Studio Code ==
 
== Visual Studio Code ==
 
K extension for Visual Studio Code
 
K extension for Visual Studio Code
* Extension page on Visual Studio Marketplace: https://marketplace.visualstudio.com/items?itemName=clv.k
+
* Extension page on Visual Studio Marketplace: https://marketplace.visualstudio.com/items?itemName=clv.kframework
 
* Source code: http://github.com/LucianCumpata/K-VSCode
 
* Source code: http://github.com/LucianCumpata/K-VSCode

Latest revision as of 06:42, 12 January 2017

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

[edit] Atom

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

[edit] BBEdit/TextWrangler

K/Maude syntax highlighter for TextWrangler/BBEdit

[edit] Emacs

Emacs mode for K

[edit] IntelliJ Idea

[edit] Notepad++

K syntax highlighter for Notepad++

[edit] Pygments

Support for http://pygments.org/ Pygments

[edit] Vim

K/Maude syntax highlighter for vim

[edit] Visual Studio Code

K extension for Visual Studio Code

Personal tools
Namespaces

Variants
Actions
Navigation