REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

Functional Programming Course

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

What I Wish I Knew When Learning Haskell

Deep Learning in Haskell

📖 source material for Thinking with Types

The Ivory EDSL

A bare-bones calculus-of-constructions

A DSL for embedded hard realtime applications.

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

Small minimal examples of modern cryptographic techniques in Haskell

Optimised bilinear pairings over elliptic curves

Kansas Lava

The Wadler/Leijen Pretty Printer for colored ANSI terminal output

Example projects using the auto library.