packedbits

are you worried about space? ME TOO! SPACE IS VERY CONCERNING

encoding-via

type classes and deriving via for encoding

prairie

First Class Record Fields in Haskell

miller

a little ML, implemented from SPJ’s “Implementing Functional Languages"

mchost

A Minecraft server in Haskell.

scotty-persistent-example

Repository to go along with a blog post

lambda

An exploration and implementation of the lambda calculus.

record-wrangler

Alter datatypes at your leisure!

habito-proofs-talk

data-diff

An approach to diffing values and records.

unification

implementation of the first order logic unification algorithm in Haskell

purjs

[WIP] wrapper for running purescript compiler in browser

purescript-interop

Generate Purescript types from Haskell

torrent

4d-labyrinth