Julian / dotfiles
plugin manager
lazy.nvim
plugins
19
root
.config/nvim
init file
init.lua
lines of code
2872
monorepo
yes
fork
no
leaderkey
Space
Plugins
hrsh7th/nvim-cmp
A completion plugin for neovim coded in Lua.
7130
2
completion
folke/lazy.nvim
💤 A modern plugin manager for Neovim
11674
2
plugin-manager
Julian/lean.nvim
neovim support for the Lean theorem prover
202
0
programming-languages-support
nvim-treesitter/nvim-treesitter-context
Show code context
2162
1
editing-support
MunifTanjim/nui.nvim
UI Component Library for Neovim.
1401
1
nvim-dev
rcarriga/nvim-dap-ui
A UI for nvim-dap
2253
3
debugging