A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Repository Index
47,133 repositories indexed
649–672 of 1,816 · Most stars
Connect to MongoDB and Atlas and directly from your VS Code environment, navigate your databases and collections, inspect your schema and use playgrounds to prototype queries and aggregations.
- mongodb
- mongodb-atlas
- vscode
- vscode-extension
A Sublime Text plugin to execute JavaScript in Google Chrome
- google-chrome
- sublime-text
- sublime-package
- sublime-text-3
A Neovim plugin to make the LSP client use FZF
- neovim-lua
- neovim-plugin
- neovim-lsp
- fzf
🦉 🌌 Night Owl colorscheme implementation for Neovim with support for Treesitter and semantic tokens
🍁 Fun little plugin that can be used as a screensaver and on your dashboard
A neovim plugin that shows colorcolumn dynamically
A Lua API for using fzf in neovim.
- fzf
- neovim
- lua
- fuzzy-search
A graphical display window manager in neovim
- lua
- lua-ffi
- luajit-ffi
- neovim
A neovim port of Assorted Biscuits. Ends up with more supported languages too.
Neovim plugin that allows you to easily map keys directly to lua code inside your init.lua
Neovim plugin for dimming the highlights of unused functions, variables, parameters, and more
Spiritual successor of https://github.com/wbthomason/packer.nvim
👀 dynamically interact with vim registers
- neovim
- lua
Emacs major mode for editing Lua
Snippet plugin for Neovim written in Lua
Populate the quickfix with json entries
- neovim
- lua
A beautiful, powerful and customizable neovim config that is blazing fast
A plugin for setting Neovim LSP with JSON or YAML files
Neovim Lua plugin to paste image from clipboard.
🧶 Automatically save your changes in NeoVim
Use your favorite machine translation engines without having to leave your favorite editor.
- apertium
- argos
- deepl
Interactive Coq Proofs in Vim
🌊 Aquarium, a simple vibrant dark theme for vim 🗒