Visual Studio Code extension for Rocq
Repository Index
75,859 visible repositories in the index
553–576 of 1,114 · Most stars
:hammer: Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
Fully hackable text editor developed for exact sciences with built-in KaTeX and AsciiMath support. Extensible via plugins and themes. Exportable as HTML, PDF and GFM.
Minimalistic plugin for Go development
Navigate your code with context, fuzzy picker, LSP symbol navigator, and much more.
- neovim-plugin
- ctags
- lsp
- treesitter
Create and manage keybindings and commands in a more organized manner, and search them quickly through Telescope
- lua
- neovim
- neovim-plugin
- telescope-extension
Explore, edit, and develop on a remote machine via SSHFS with Neovim
A multi-cursor plugin for Neovim that works in normal, insert/replace, or visual modes, and with almost every command
- neovim
- multicursor
- neovim-plugin
pandoc markdown syntax, to be installed alongside vim-pandoc
A small, fast code editor written in Go, with a native GPU-drawn UI (no webview, no Electron)
- code-editor
- go
- golang
- gpu
Android Library to make it easy to create an Code editor or IDE that support any languages and themes, with auto complete, auto indenting, snippets and more features
- codeview
- android-codeview
- codeeditor
- autocompletetextview
Virtual text context for neovim treesitter
This package adds syntax definitions for the Laravel Blade engine.
- sublime-text
- blade-engine
- highlighter
- php
❄️ A dead simple Nix flake template repository for Neovim derivations [maintainer=@mrcjkb]
V Language extension for Visual Studio Code.
- v
- vlang
- vscode
- extension
Review pull requests and manage issues across GitHub, GitLab, Bitbucket and Jira directly in Neovim.
🌊 Remixed Kanagawa colourschemes with muted colors.
- color-scheme
- neovim
- kanagawa
- ghostty-theme
Elm plugin for IntelliJ Platform IDEs
- intellij
- webstorm
- elm
- plugin
AI-powered E2E testing for 10 platforms. 253 MCP tools. Zero config. Works with Claude, Cursor, Windsurf, Copilot. Test Flutter, React Native, iOS, Android, Web, Electron, Tauri, KMP, .NET MAUI — all from natural language.
An Emacs package to get GDScript support and syntax highlighting.
A modern lightweight statusline and bufferline plugin for neovim in lua.
- neovim
- statusline
- lua
- bufferline
Neovim plugin for interacting with LLM's and building editor integrated prompts.
A color scheme for Xcode based on the WWDC 2016 invitation.
- xcode
- xcode-theme
- theme
- color-scheme