Koka language compiler and interpreter

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

Industrial-strength monadic parser combinator library

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Haskell implemented with combinators

A prototypical dependently typed languages with sized types and variances

A monadic library for symbolic evaluation

Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic