Interactive Coq Proofs in Vim
Repository Index
87,075 visible repositories in the index
49–72 of 94 · Most stars
📌 the no-nonsense session manager
- lua
- neovim
TrailBlazer enables you to seemlessly move through important project marks as quickly and efficiently as possible to make your workflow blazingly fast ™.
- neovim
- neovim-lua
- neovim-plugin
- vim-motions
Versatile REPL/CLI manager. Multiple sending modes with parallel sessions, buffer attachments, and cross-language support. AI CLI integration for Aider and OpenAI Codex. Picker support, project-level configs, code cell text objects, and native dot-repeat.
- neovim
- neovim-plugin
- neovim-lua
- neovim-lua-library
A plugin that leverages Neovim's built-in RPC functionality to simplify opening files from within Neovim's terminal emulator without nesting sessions.
A map to your filesystem. A Neovim plugin for fast session switching and project discovery.
- luajit
- neovim
- neovim-plugin
- nvim
🦘 Jump into the repositories (git, mercurial…) of your filesystem with telescope.nvim, without any setup
- nvim
- telescope
- fossil-scm
- pijul
A Neovim plugin that provides an explanation for regular expressions.
This neovim plugin creates missing folders on save.
Stop Unicode trolls from messing with your code.
Progressive file seeker for Neovim 🔍🎯
- cli
- fuzzy-search
- neovim
- neovim-plugin
A Neovim plugin that automatically assigns colors to devicons based on their nearest color in a predefined color palette.
Neovim plugin to assist work with CSV files
A low-glare Dracula-inspired VS Code theme with measured WCAG AA contrast, muted UI accents, and six-step bracket-depth highlighting.
- accessibility
- color-theme
- dark-theme
- dracula
010-Editor: Professional Hex and Text Code Editor for Windows with Binary Templates
- 010-editor-download
- 010-editor-free
- 010-editor-installer
- 010editor
Highlights the current /, ? or * match under your cursor when pressing n or N and gets out of the way afterwards.
- neovim
- neovim-plugin
- lua
- fennel
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
- copilot-alternative
- inline-completion
- claude-code-cli
- code-reviews
Quarto Wizard is a Visual Studio Code / Positron extension that assists you in managing extensions in Quarto projects.
- extension
- quarto
- vscode
- codium
Classic Black Jack game in Neovim
Neovim plugin to calculate mathematical expressions within a buffer with visual mode, functions and variable support.
Combining numi-cli and a scratch buffer to evaluate natural language expressions within Neovim
Multi-tabs project session automation
- lua
- neovim
- neovim-plugin
⚡💜 Electric meets elegant. A vibrant cyberpunk color system for Neovim, VS Code, Chrome, terminals, and 20+ tools.
- colorscheme
- cyberpunk
- developer-tools
- neon
Use the Pomodoro Technique in Neovim with built-in session tracking and break reminders.