A friendly programming language from the future

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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Dependently Typed Functional Programming Language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

lamdu - towards the next generation IDE

The Plutus language implementation and tools

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

A programming language with static memory management based on λ-calculus

The Egison Programming Language

A streaming data library

High performance, concurrent functional programming abstractions

Functional programming with fewer indirections

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Accompanying Source Code for the Haskell Data Analysis Cookbook

A multi-syntax functional programming language that compiles to WebAssembly.

A demo implementation of a simple dependently-typed language

Haskell-based shell scripting language

Haskell-powered Python 3 interpreter

An unobtrusive, developer-friendly way to add comments

Compositional pipelines

Painless 2D vector graphics, animations and simulations.

Write type-safe GraphQL services in Haskell

A bare-bones calculus-of-constructions

An ML-like functional programming language

A functional language for the working hacker

A simple expressions language with polymorphic extensible row types.

A command line utility for practicing typing and measuring your WPM and accuracy.