2 results found Sort:

neovimhaskell
nvim-hs neovimhaskell
18
268
other
13
Neovim API for Haskell plugins as well as the plugin provider
nvim neovim haskell nvim-hs neovim-api haskell-plugins
Created 2014-11-22
461 commits to main branch, last one 24 days ago
agda
cornelis agda
24
150
bsd-3-clause
6
agda-mode for neovim
agda neovim nvim-hs vim-which-key vim-textobj-user
Created 2022-01-26
396 commits to master branch, last one 14 days ago