dotfyle

Bleksak / neovim

0 1 month ago
plugin manager unknown
plugins 5
root
init file init.lua
lines of code 16232
monorepo no
fork no
leaderkey Space
Plugins
Julian/lean.nvim
Neovim support for the Lean theorem prover
530 0 programming-languages-support
29
neovim/nvim-lspconfig
Quickstart configs for Nvim LSP
13662 1 lsp
2351
scalameta/nvim-metals
A Metals plugin for Neovim
561 0 lsp
54
williamboman/mason.nvim
Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.
williamboman/mason.nvim thumbnail
10282 0 lsp-installer
1530
mfussenegger/nvim-jdtls
MIRROR of: https://codeberg.org/mfussenegger/nvim-jdtls
1462 0 lsp
197