A strongly-typed language that compiles to JavaScript

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

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…

A static website compiler library in Haskell

Agda is a dependently typed programming language / interactive theorem prover.

Haskell source code suggestions

Liquid Types For Haskell

Command line client for Nix binary cache hosting:

The Monad Transformer Library

Parsing all context-free grammars using Earley's algorithm in Haskell.

A Haskell library for typesafe music composition

A Functional Graph Library for Haskell

A tiny CI server built around GitHub and Nix

Haskell library for simple, concise and fast generic operations.

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Transmogrify Haskell values with the same overall shape

Work done while going through "Learn you a Haskell" book