1.Julian / lean.nvim
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
- nvim-treesitter
- tree-sitter
- +2 more
+56 stars
from 559 · score 4.04
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
18 repositories by Attention Score · Aug 6, 2026 – Nov 3, 2026 (UTC)
2.cimgui / cimgui
c-api for imgui (https://github.com/ocornut/imgui) Look at: https://github.com/cimgui for other widgets
+41 stars
from 1,929 · score 3.74
+23 stars
from 1,345 · score 3.18
4.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
+18 stars
from 986 · score 2.94
5.mrcjkb / haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
- haskell
- lsp
- neovim
- nvim
- language-server
- plugin
- +12 more
+15 stars
from 601 · score 2.77
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
+12 stars
from 2,254 · score 2.56
7.aaronik / treewalker.nvim
A neovim plugin for moving around your code in a syntax tree aware manner
+11 stars
from 610 · score 2.48
8.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
+9 stars
from 543 · score 2.30
9.HoNamDuong / hybrid.nvim
A dark Neovim theme written in Lua
- hybrid
- neovim
- neovim-colorscheme
- colorscheme
- lua
- theme
- +2 more
+5 stars
from 160 · score 1.79
10.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
+4 stars
from 666 · score 1.61
11.josh-perry / peachy
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
- graphics
- game-development
+4 stars
from 113 · score 1.61
12.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
+3 stars
from 193 · score 1.39
+2 stars
from 163 · score 1.10
+1 stars
from 368 · score 0.69
15.jghauser / kitty-runner.nvim
A neovim plugin allowing you to easily send lines from the current buffer to another kitty terminal
+1 stars
from 110 · score 0.69
16.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
+1 stars
from 95 · score 0.69
17.neolooong / whichpy.nvim
Python interpreter selector for Neovim. Switch interpreters without restarting LSP.
+1 stars
from 35 · score 0.69
18.Hdoc1509 / gh-actions.nvim
Plugin that improves support for Github Actions files in Neovim.
- github-actions
- neovim
- neovim-plugin
- parser
- tree-sitter
- tree-sitter-gh-actions-expressions
+1 stars
from 10 · score 0.69