Not UFO in the sky, but an ultra fold in Neovim.
- fold
- lua
- neovim
- neovim-lua
Repository Index
55,140 visible repositories in the index
1–7 of 7 · Most stars
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A light syntax theme for Atom
- atom-theme
- color-theme
- atom-editor
A Bookmarks Plugin With Global File Store For Neovim Written In Lua.
The continuous feedback plugin for JetBrains IDEs
- jetbrains-plugin
- feedback-driven-development
- observability
- monitoring
Create persistent code notes without modifying code
- neovim
- neovim-plugin
- code-notes
- notes
Neovim themes derived from Savitsky Museum paintings