andy-morris

happy.vim

Happy (Haskell parser generator) syntax highlighting

hedgehog-genfun

Simplistic function generation for Hedgehog

hashcons

don't use this, it doesn't work

coq-hs

Use the CoqIDE XML protocol from Haskell

mizar.vim

Syntax highlighting for mizar

andallthat

Sample code from Term Rewriting and All That

andy-morris.github.io

cabal.vim

Cabal syntax file

coquille

Interactive theorem proving with Coq in vim.

ghcmod-vim

Happy Haskell programming on Vim, powered by ghc-mod

hashtables

Mutable hash tables for Haskell, in the ST monad

Idris-dev

A Dependently Typed Functional Programming Language

idris-vim

Idris mode for vim

lambda-maps.v

"Viewing λ-terms through maps" in Coq

liquid-types.vim

Vim support for Liquid Types

nvim-hs

Neovim API for Haskell plugins as well as the plugin provider

overloaded-records

Overloaded Record Fields implementation based on GHC prototypes.

pandoc-include

An include filter for Pandoc

ppx_import

Less redundancy in type declarations and signatures

prettiest

The Prettiest Printer

reveal.js

The HTML Presentation Framework

skew

following "A Linear Algebra Approach to Linear Metatheory"

sml.vim

Standard ML syntax highlighting

tasty-hedgehog

the_silver_searcher

A code-searching tool similar to ack, but faster.

trifunctors

Three argument functors

twelf.vim

Twelf syntax highlighting

unordered-containers

Efficient hashing-based container types

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

vim2hs

vim2hs :: Vim -> Haskell