raichoo / haskell-vim
Custom Haskell Vimscripts
☆6Updated 6 years ago
Related projects: ⓘ
- vim2hs :: Vim -> Haskell☆340Updated 6 years ago
- Create ctags compatible tags files for Haskell programs☆81Updated 6 years ago
- If the plugin does not work for some syntax, feel free to report to the issue tracker!☆107Updated last month
- Vim plugin for Haskell development☆132Updated 5 years ago
- Haskell+Neovim lightning fast autocompletion and other IDE functionality☆78Updated 8 years ago
- ☆116Updated 9 years ago
- Idris mode for vim☆221Updated 4 years ago
- A completion plugin for Haskell, using ghc-mod☆359Updated 3 years ago
- ☆16Updated 8 years ago
- A neovim plugin for Intero, forked from ghcmod-vim☆218Updated 4 years ago
- haskell ghc-illustrated☆258Updated 3 years ago
- Extended Haskell Conceal feature for Vim☆130Updated 4 years ago
- Compile Idris to Vimscript, like you always wanted.☆130Updated 6 years ago
- A ctags file generator for cabal/stack project dependencies.☆170Updated 3 years ago
- Persistent GHC-powered background server for FAST haskell development tools☆98Updated 4 years ago
- ☆124Updated 9 months ago
- Agda interaction in vim☆130Updated 2 years ago
- Happy Haskell programming on Vim, powered by ghc-mod☆433Updated 6 years ago
- Basic starter config for Vim and Haskell☆64Updated 5 years ago
- Unit test example for Haskell☆173Updated 7 months ago
- Link to preprints for ICFP'16 and co-located events☆140Updated 7 years ago
- Mutable hash tables for Haskell, in the ST monad☆125Updated last year
- Interactive theorem proving with Coq in vim.☆186Updated 4 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 7 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆144Updated 6 years ago
- A collection of different packages for CAS based data structures.☆106Updated 3 months ago
- Utility library [Haskell]☆87Updated 4 months ago
- An unpacked copy of the haskellmode vimball. Ping me if it needs updating.☆135Updated 6 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago