rish987's Stars
lunarmodules/luassert
Assertion library for Lua
sindrets/winshift.nvim
Rearrange your windows with ease.
andweeb/presence.nvim
Discord Rich Presence for Neovim
mhinz/neovim-remote
:ok_hand: Support for --remote and friends.
TheoWinterhalter/ett-to-wtt
Coq formalisation of a translation from (an) extensional type theory to (a) weak type theory
the1lab/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
samjwill/nvim-unception
A plugin that leverages Neovim's built-in RPC functionality to simplify opening files from within Neovim's terminal emulator without nesting sessions.
ariel-frischer/bmessages.nvim
Bmessages.nvim better :messages window using an auto-updating buffer.
AckslD/messages.nvim
Capture and show any messages in a customisable (floating) buffer
TheoWinterhalter/ett-to-itt
Coq formalisation and plugin of a translation from ETT to ITT
nacro90/numb.nvim
Peek lines just when you intend
norcalli/nvim-terminal.lua
A high performance filetype mode for Neovim which leverages conceal and highlights your buffer with the correct color codes.
Xuyuanp/scrollbar.nvim
scrollbar for neovim
gorbit99/codewindow.nvim
digama0/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
direnv/direnv.vim
vim plugin for direnv support
tris203/hawtkeys.nvim
⌨️🔥 Suggest new easy to hit keymaps and find issues with your current key map configurations
jmbuhr/otter.nvim
Just ask an otter! 🦦
b0o/nvim-conf
☄ Maddison's Neovim configuration!
gcmt/wildfire.vim
Smart selection of the closest text object
leanprover/lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
vscode-neovim/vscode-neovim
Vim mode for VSCode, powered by Neovim
ton/vim-bufsurf
Vim plugin that enables surfing through buffers based on viewing history per window
nvim-telescope/telescope-ui-select.nvim
roxma/vim-hug-neovim-rpc
EXPERIMENTAL
jbyuki/one-small-step-for-vimkind
Debug adapter for Neovim plugins
nvim-telescope/telescope-frecency.nvim
A telescope.nvim extension that offers intelligent prioritization when selecting files from your editing history.
nvim-treesitter/playground
Treesitter playground integrated into Neovim
yorickpeterse/nvim-window
Easily jump between NeoVim windows.
codicocodes/dotfyle
Find the best Neovim plugins