Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

A Dependently Typed Functional Programming Language

The Eta Programming Language, a dialect of Haskell on the JVM

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

lamdu - towards the next generation IDE

A Testing Framework for Haskell

Automatic testing of Haskell programs.

A visual Haskell

Equational laws for free

Haskell/Java interop via inline Java code in Haskell modules.

Test monadic programs using state machine based models

A drawing engine in Haskell

🎭 Actor library for Haskell