K framework for Brackets

K framework is an open source project and you can view the source code here: https://github.com/kframework

Features

• K Syntax highlighting support for Brackets, made with CodeMirror
  
• K code snippets [see below: Additional Support]

Get Started Writing K

• Documentation
• Tutorial

Syntax Highlighter Example

Using custom "start" :

Using custom "tag" :

Using custom "syntax" :

Install

Search K Framework Syntax Highlighter in Brackets Extension Manager, and install it.

Failed to download it in Brackets? Try the alternative instructions:

1. Download .zip package of the latest version
2. Drag the file into the bottom-left position of Extension Manager
3. Restart Brackets
4. For K snippets read below

Additional Snippets Support

The extension has not yet implemented its own template system, but we advise you to use the extension brackets-snippets

1. Search Brackets Snippets (by edc) in Brackets Extension Manager, and install it or Download
   
2. Look for K-snippets.yml file and download it or just click here Download
3. 
4. 
5. Done

K Trigger Snippet

• configuration
• imports
• list
• module
• start
• syntax
• rule
• tag
• env tag
• k tag
• stack tag
• stream
• assignment ( |-> => )
• remove ( => .) )

K syntax highlighting

Strings:    ' ' ,
            " "

Comments:   // ,
            /* */

Keywords:   module,
            endmodule,
            syntax,
            rule,
            Id,
            Int,
            Bool,
            notBool,
            String,
            configuration,
            imports,
            Token,
            Lexer,
            Float,
            requires,
            Kresult,
            context

Tags:       strict,
            avoid,
            prefer,
            bracket,
            left,
            right,
            macro,
            token,
            notInRules,
            binder,
            later,
            structural,
            autoReject,
            seqstrict,
            non-assoc,
            stream

Operators:  ::=,
            [+ - * % / > <],
            !(\S),
            [=> <= <-| |->]

Types:      [: + % * - > < =](\S)
            Ex: +Int, =/=Int...

Brackets:   [],
            {}

Kextra:     ... ,
            . ,
            _