editor-plugins

Pinned Repositories

idris-lsp
Idris language server protocol
Language:Haskell5 3 00
intellij-coq
Language:Kotlin0 2 10
intellij-paredit
Paredit for IntelliJ IDEA-based IDEs
Language:Java1 2 01
vscode-coq
Coq for Visual Studio Code
Language:JavaScript0 2 81
vscode-frege
Highlighting and snippet support for the Frege language in visual studio code.
Language:TypeScript1 2 00
vscode-intero
Intero for Visual Studio Code
Language:JavaScript2 2 20

editor-plugins's Repositories

editor-plugins/idris-lsp
Idris language server protocol
Language:Haskell5 3 00
editor-plugins/vscode-intero
Intero for Visual Studio Code
Language:JavaScript2 2 20
editor-plugins/intellij-paredit
Paredit for IntelliJ IDEA-based IDEs
Language:Java1 2 01
editor-plugins/vscode-frege
Highlighting and snippet support for the Frege language in visual studio code.
Language:TypeScript1 2 00
editor-plugins/intellij-coq
Language:Kotlin0 2 10
editor-plugins/vscode-coq
Coq for Visual Studio Code
Language:JavaScript0 2 81