prover

monad-classes

A more flexible mtl

haskell-lambda-calculus

A simple lambda calculus interpreter in Haskell.

lexer-applicative

Applicative lexer

free-est

proverb

a simple Haskell program & how I refactored it

haskell-probability-monads

Composable probability monads in Haskell.

fp-course

Functional Programming Course

higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Po...

haskell-proofs

Examples using dependent types for mathematical proofs at the type level

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

hs-to-coq

Convert Haskell source code to Coq source code.

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

effects

An implementation of "Freer Monads, More Extensible Effects".

lambdapi

Dependently Typed Lambda Calculus in Haskell

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.