Neovim configurations
Julian/dotfiles
50
init.lua
24
3081
Authored Neovim plugins
Julian has authored 1 Neovim plugins. Their plugins have a total of 14 installs across Dotfyle.
Julian/lean.nvim
Neovim support for the Lean theorem prover
278
0
programming-languages-support