1.Julian / lean.nvim
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
- nvim-treesitter
- tree-sitter
- +2 more
+101 stars
from 514 · score 4.62
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
22 repositories by Attention Score · May 7, 2026 – Nov 2, 2026 (UTC)
2.Mofiqul / vscode.nvim
Neovim/Vim color scheme inspired by Dark+ and Light+ theme in Visual Studio Code
- neovim
- treesitter
- colorscheme
- vim
- lua
- vscode
- +5 more
+51 stars
from 953 · score 3.95
+47 stars
from 1,321 · score 3.87
4.aaronik / treewalker.nvim
A neovim plugin for moving around your code in a syntax tree aware manner
+28 stars
from 593 · score 3.37
5.mrcjkb / haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
- haskell
- lsp
- neovim
- nvim
- language-server
- plugin
- +12 more
+25 stars
from 591 · score 3.26
6.luafun / luafun
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
- lua
- luajit
- functional-programming
- luarocks
+23 stars
from 2,243 · score 3.18
7.dmmulroy / tsc.nvim
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
- lua
- neovim
- nvim
- nvim-plugin
- typescript
- vim
+17 stars
from 535 · score 2.89
8.Zeioth / compiler.nvim
Neovim compiler for building and running your code without having to configure anything
- nvim-plugin
- nvim-plugins
- compiler
- neovim-plugin
- neovim-plugins
- build-automation-tool
- +13 more
+14 stars
from 656 · score 2.71
9.HoNamDuong / hybrid.nvim
A dark Neovim theme written in Lua
- hybrid
- neovim
- neovim-colorscheme
- colorscheme
- lua
- theme
- +2 more
+12 stars
from 152 · score 2.56
10.krady21 / compiler-explorer.nvim
Run compilers and inspect assembly directly from Neovim with the help of https://godbolt.org
- assembly
- compiler-explorer
- lua
- neovim
- nvim
- nvim-plugin
- +4 more
+9 stars
from 186 · score 2.30
11.josh-perry / peachy
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
- graphics
- game-development
+6 stars
from 111 · score 1.95
12.YaroSpace / lua-console.nvim
A handy scratch pad / REPL / debug console for Lua development and Neovim exploration
- lua
- neovim-plugin
- coderunner
- console
- neovim
- plugin
- +1 more
+5 stars
from 91 · score 1.79
13.astrochili / narrator
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
- lpeg
- defold
+4 stars
from 162 · score 1.61
14.harningt / luajson
JSON parser/encoder for Lua Parses JSON using LPEG for speed and flexibility. Depending on parser/encoder options, various values are preserved as best as possible.
+3 stars
from 253 · score 1.39
15.jghauser / kitty-runner.nvim
A neovim plugin allowing you to easily send lines from the current buffer to another kitty terminal
+3 stars
from 108 · score 1.39
+2 stars
from 285 · score 1.10
17.Zeioth / makeit.nvim
Neovim Makefile plugin
- neovim-plugin
- neovim-plugins
- make
- makefile
- nvim-plugin
- nvim-plugins
- +1 more
+2 stars
from 46 · score 1.10
18.2KAbhishek / exercism.nvim
Exercism Meets Neovim 💪🧠
+2 stars
from 44 · score 1.10
+1 stars
from 368 · score 0.69
+1 stars
from 287 · score 0.69
+1 stars
from 208 · score 0.69
+1 stars
from 114 · score 0.69