1.Julian / lean.nvim
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
- nvim-treesitter
- tree-sitter
- +2 more
+16 stars
from 599 · score 2.83
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
14 repositories by Attention Score · Oct 5, 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
+10 stars
from 1,960 · score 2.40
3.aaronik / treewalker.nvim
A neovim plugin for moving around your code in a syntax tree aware manner
+7 stars
from 614 · score 2.08
+6 stars
from 1,362 · score 1.95
5.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
+5 stars
from 998 · score 1.79
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
+4 stars
from 2,263 · score 1.61
7.HoNamDuong / hybrid.nvim
A dark Neovim theme written in Lua
- hybrid
- neovim
- neovim-colorscheme
- colorscheme
- lua
- theme
- +2 more
+4 stars
from 161 · score 1.61
8.mrcjkb / haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
- haskell
- lsp
- neovim
- nvim
- language-server
- plugin
- +12 more
+3 stars
from 613 · score 1.39
9.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
+1 stars
from 551 · score 0.69
+1 stars
from 368 · score 0.69
11.astrochili / narrator
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
- lpeg
- defold
+1 stars
from 166 · score 0.69
+1 stars
from 130 · score 0.69
13.josh-perry / peachy
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
- graphics
- game-development
+1 stars
from 116 · score 0.69
14.neolooong / whichpy.nvim
Python interpreter selector for Neovim. Switch interpreters without restarting LSP.
+1 stars
from 35 · score 0.69