Repository Index

An emacs mode for handling Dockerfiles

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

💾 Simple session management for Neovim with git branching, autoloading and Telescope support

• neovim
• session
• neovim-plugin
• neovim-session

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Fold with relentless elegance. A collection of quality-of-life features related to folding.

• folding
• nvim-plugin
• neovim-plugin

Interactively select and swap function arguments, list elements, and much more. Powered by tree-sitter.

• neovim
• tree-sitter
• hacktoberfest

A Vim plugin that provides GraphQL file detection, syntax highlighting, and indentation.

• vim
• graphql
• graphql-schema
• neovim

Display references, definitions and implementations of document symbols

A Neovim plugin that provides a simple way to run and visualize code actions with Telescope.

• nvim
• nvim-plugin
• neovim
• neovim-plugin

AI Vim/Neovim code generation plugin (OpenAI, ChatGPT, and more)

• code-generation
• neovim
• openai
• gpt-3

A Common Lisp dev environment for Vim (and Neovim)

• vim
• common-lisp
• neovim

Imitate VSCode's "Render Whitespace" feature in visual mode

Official mirror of Slimv versions released on vim.org

A neovim plugin template for github repos

• neovim
• nvim
• plugin
• template

Discover hundreds of Neovim tips, tricks, and shortcuts — and even add your own! You’ll also get a beautifully formatted PDF book with every tip inside.

• neovim-plugin
• neovim-tips
• neovim-help

The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.

• agent
• ai
• ai-agents
• ai-coding-assistant

Interactive, source-linked ML workflow diagrams written by your coding assistant (Copilot, Codex or Claude Code) and opened in VS Code.

• claude-code
• developer-tools
• machine-learning
• visualization

Visual Studio Code extension for Rocq

• coq
• vscode
• vscode-extension
• editor

Gruvbox theme for neovim with full 🎄TreeSitter support.

• vim
• vim-theme
• gruvbox-color-scheme
• neovim-lua-plugin

:hammer: Base16 Builder is a nimble command-line tool that generates themes for your favourite programs.

Highly accessible themes for Neovim, conforming with the highest standard for color contrast between background and foreground values (WCAG AAA). A Neovim port of the original Modus Themes built for GNU Emacs.

• neovim
• neovim-colorscheme
• neovim-theme
• nvim

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.

Minimalistic plugin for Go development

• go
• neovim
• neovim-plugin
• nvim

Find Nerd Glyphs Easily 🤓🔭

• glyph
• neovim
• nerdfont
• plugin