andy-morris Goto Github PK

alex.vim

Syntax highlighting for alex (Haskell lexer generator)

andallthat

Sample code from Term Rewriting and All That

andy-morris.github.io

cabal.vim

Cabal syntax file

coq-hs

Use the CoqIDE XML protocol from Haskell

coquille

Interactive theorem proving with Coq in vim.

dircolors

Preprocessor for more expressive .dircolors files

ghcmod-vim

Happy Haskell programming on Vim, powered by ghc-mod

happy.vim

Happy (Haskell parser generator) syntax highlighting

hashcons

don't use this, it doesn't work

hashtables

Mutable hash tables for Haskell, in the ST monad

hedgehog-genfun

Simplistic function generation for Hedgehog

hsopenssl

OpenSSL binding for Haskell

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

miniml

A tiny functional language in C++ [university stuff]

mizar.vim

Syntax highlighting for mizar

nvim-hs

Neovim API for Haskell plugins as well as the plugin provider

ohsc

OHS browser [university stuff]

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

terminalhelp

Help messages on the terminal