Skip to content
@editor-plugins

editor-plugins

Popular repositories Loading

  1. idris-lsp idris-lsp Public

    Idris language server protocol

    Haskell 5

  2. vscode-intero vscode-intero Public

    Intero for Visual Studio Code

    JavaScript 2

  3. intellij-paredit intellij-paredit Public

    Paredit for IntelliJ IDEA-based IDEs

    Java 1 1

  4. vscode-frege vscode-frege Public

    Highlighting and snippet support for the Frege language in visual studio code.

    TypeScript 1

  5. intellij-coq intellij-coq Public

    Kotlin

  6. vscode-coq vscode-coq Public

    Coq for Visual Studio Code

    JavaScript 1

Repositories

Showing 6 of 6 repositories
  • idris-lsp Public

    Idris language server protocol

    editor-plugins/idris-lsp’s past year of commit activity
    Haskell 5 0 0 0 Updated Dec 17, 2016
  • vscode-intero Public

    Intero for Visual Studio Code

    editor-plugins/vscode-intero’s past year of commit activity
    JavaScript 2 BSD-3-Clause 0 2 0 Updated Oct 12, 2016
  • vscode-coq Public

    Coq for Visual Studio Code

    editor-plugins/vscode-coq’s past year of commit activity
    JavaScript 0 BSD-3-Clause 1 3 0 Updated Oct 11, 2016
  • vscode-frege Public

    Highlighting and snippet support for the Frege language in visual studio code.

    editor-plugins/vscode-frege’s past year of commit activity
    TypeScript 1 0 0 0 Updated Sep 3, 2016
  • intellij-coq Public
    editor-plugins/intellij-coq’s past year of commit activity
    Kotlin 0 MIT 0 1 0 Updated Aug 29, 2016
  • intellij-paredit Public

    Paredit for IntelliJ IDEA-based IDEs

    editor-plugins/intellij-paredit’s past year of commit activity
    Java 1 1 0 0 Updated May 15, 2016

Top languages

Loading…

Most used topics

Loading…