Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Repository Index
71,372 visible repositories in the index
25–38 of 38 · Most stars
Actively maintained fork of ahmedkhalf/project.nvim. Detects and chdirs to the project root, with its own UI, provides lualine component, supports oil.nvim, includes pickers for telescope, snacks, fzf-lua, and picker.nvim.
- neovim
- neovim-plugin
- nvim-telescope
- telescope-extension
🔁 Interactive Script playbooks for your terminal with Vim/Neovim (and Tmux)
- automation
- history
- shell
- shell-history
A mode to facilitate interactive data visualization using Vega from within emacs
React-like renderer for Neovim
- hyperscript
- nvim
- nvim-plugin
- react
Mirror. Not actively maintained here.
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
CLI tool and TUI editor for managing .NET .resx localization files. Validate translations, import/export CSV, add/remove languages, and edit interactively.
- cli
- csharp
- developer-tools
- dotnet
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
Mirror. Not actively maintained here.
nvim-yt-player is a Neovim plugin for playing YouTube audio directly from Neovim using mpv + yt-dlp via IPC socket. Features include a premium ASCII visualizer UI, interactive search picker, queue editor, SponsorBlock integration, and full playback controls.
- mpv
- music
- nvim-plugin
- player
FkNotes.nvim is a lightweight and modern note-taking and task management plugin for Neovim, designed to help you organize tasks, reminders, and notes without leaving your editor. Built as part of the FkVim ecosystem, it emphasizes simplicity, speed, and a clean, interactive UI.
- fknotes
- fkvim
- neovim
- neovim-plugin
Interactive, fit-to-width markdown tables in Neovim: modal cell navigation, horizontal scroll, visual row/column selection, spreadsheet-like operations, and CSV/TSV conversion.
Data Science Notebook for F# interactive