vim-z3-smt2

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

neovim-ghcid

Provides instant haskell error feedback inside of neovim, via ghcid.

vim-webdevicons

Adds file type glyphs/icons to popular Vim plugins: NERDTree, vim-airline, Power