1.Julian / lean.nvim
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
- nvim-treesitter
- tree-sitter
- +2 more
+4 stars
from 611 · score 1.61
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
11 repositories by Attention Score · Oct 28, 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
+3 stars
from 1,967 · score 1.39
+2 stars
from 1,366 · score 1.10
4.aaronik / treewalker.nvim
A neovim plugin for moving around your code in a syntax tree aware manner
+2 stars
from 619 · score 1.10
5.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
+1 stars
from 2,266 · score 0.69
6.mrcjkb / haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
- haskell
- lsp
- neovim
- nvim
- language-server
- plugin
- +12 more
+1 stars
from 615 · score 0.69
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
+1 stars
from 551 · score 0.69
8.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
+1 stars
from 195 · score 0.69
9.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
10.HoNamDuong / hybrid.nvim
A dark Neovim theme written in Lua
- hybrid
- neovim
- neovim-colorscheme
- colorscheme
- lua
- theme
- +2 more
+1 stars
from 164 · score 0.69
+1 stars
from 130 · score 0.69