Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Repository Index
57,138 visible repositories in the index
1–4 of 4 · Most stars
Language Server Protocol implementation for Ember.js projects
- javascript
- language-server-protocol
- ember
- glimmer
Fast and minimal Ember.js CLI alternative, without broccoli.
Repository for babylon.js mcp server