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

The engine for haskell ide-integration. Not an IDE

Cryptol: The Language of Cryptography

Bluespec Compiler (BSC)

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

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

The Daml smart contract language

Simple blockchain server written in Haskell for educational purposes

A powerful but simple library for measuring the performance of Haskell code.

A DSL for embedded hard realtime applications.

A bittorrent client written in Haskell

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

Unison's source code

VM and tracing JIT for Haskell (work in progress)

Haskell web service that redirects all traffic from HTTP to HTTPS