Haskell programming language family

In computer science, Clean is a general-purpose purely functional computer programming language.

Curry is an experimental functional logic programming language, based on the Haskell language.

Elm is a domain-specific programming language for declaratively creating web browser-based graphical user interfaces.

Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis.

Frege is a non-strict, purely functional programming language for the Java virtual machine in the spirit of Haskell.

Haskell /ˈhæskəl/ is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.

Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell.

The Haskell Platform is a collection of software packages, tools and libraries that create a common platform for using and developing applications in Haskell.

Orwell is a small, lazy-evaluation functional programming language implemented principally by Martin Raskovsky and first released in 1984 by Philip Wadler during his time as a Research Fellow in the Programming Research Group, part of the Oxford University Computing Laboratory.

The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform.

Idris is a general-purpose purely functional programming language with dependent types.

Helium is a compiler and a dialect of the functional programming language Haskell.