Universal markup converter

A static website compiler library in Haskell

A distributed computing framework for Haskell

Let's Build a Compiler (in Haskell)

An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.

Shell Integration Library [Haskell]

An efficient, embeddable DPLL SAT solver in Haskell

x86-64 assembly as a Haskell EDSL

plu programming language implementation in Haskell

Equality Saturation for a small pure language