Research language for array processing in the Haskell/ML family

Cryptol: The Language of Cryptography

Industrial-strength monadic parser combinator library

Applicative option parser

Accompanying Source Code for the Haskell Data Analysis Cookbook

A fast, flexible, fused effect system for Haskell

Haskell implemented with combinators

Domain-Specific Languages of Mathematics

A modern, extensible and well-documented prettyprinter.

Equational laws for free

Classic Algorithm W for type inference.

The home of the Glamorous Glambda interpreter

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell

An experimental grammar fuzzer in Haskell using QuickCheck

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.

A lorem ipsum generator for markdown

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Horn Clause Constraint Solving for Liquid Types

Effective Algebraic Topology in Haskell

A hip inductive theorem prover!

A Haskell implementation of the Jinja template language.

A tutorial about how to apply property-based testing to stateful systems.

A bidirectional type checker

Braiding extensible effects together in a pipeline/workflow of tasks

Duo - A research language exploring duality in programming language design

Standard Haskell list splitting library.

A really small example of the Backpack module system for Haskell

enumerative property-based testing for Haskell

Reimplementation of Parsley in Haskell, with improvements