A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

Cryptographic currency implementing Ouroboros PoS protocol

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…

Miscellaneous articles. The readme is the table of contents.

Cryptol: The Language of Cryptography

The Pact Smart Contract Language

Peer-to-peer encrypted message exchange

Haskell JIT

Dive into GHC

VM and tracing JIT for Haskell (work in progress)

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

Double ratchet algorithm for E2E encryption

Hindley-Milner type inference using constraints

compile your own functional language

An implementation of the Core language

John Backus' Functional Programming Systems

A Haskell implementation of the SECD abstract machine

An implementation of System F in Haskell

Haskell implementation of Blockhash perceptual image hash algorithm

A Haskell implementation of brainfuck interpreter