A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

Functional Programming Course

A Dependently Typed Functional Programming Language

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell to JavaScript compiler, based on GHC

The Haskell-Scriptable Editor

Very low feature GHCi based IDE

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

A standard library for Haskell

A bare-bones calculus-of-constructions

React bindings for Haskell

A set of challenges for jump starting your understanding of monads.

A small implementation of higher-order unification

A language experiment -- irc.freenode.net ##coda

Haml-like template files that are compile-time checked

theseus, functional programming language with fully reversible computation

Haskell tool to generate expressions from types

Single-file example of a Haskell file server

An alternate definition of Haskell's Functor typeclass

🌀 Church encodings written in Haskell

An exploration and implementation of the lambda calculus.

📢 JSON Feed in Haskell.

Hakyll project for my website.