Neovim plugin for Haskell syntax highlighting that distinguishes variables by their scope (free vs. bound).
Haskell syntax highlighting that considers variable scopes. Inspired from "Context Coloring" by prof. Douglas Crockford.
Painless Java in Neovim
Tools to help create flutter apps in neovim using the native lsp
Low latency typst preview for Neovim
Neovim support for the Lean theorem prover
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.