LightAndLight

eden

Experimenting with GHC's Backpack technology to create modular programming language representations

idris-tictactoe

TicTacToe using dependent types

phil

A pure functional language that compiles to PHP

pl0-haskell

PL/0 compiler written in Haskell

humblr

Proof-of-concept Haskell blog platform

linearlambda

Linear lambda calculus implementation

haskell-gol

Multithreaded implementation of Conway's Game of Life

haskell-typecheck-combinators

A type checker monad and combinators

humblr-frontend

Single page app frontend for humblr written using Purescript

java-hindley-milner

Implementation of Hindley-Milner type inference in Java

psbt

Build tool for PureScript written in Haskell

2d-zipper

Zipper into a list-of-list, providing efficient movement commands

brenfook

free-monad-morra

A free monad implementation of Morra from the Haskell Book

gruvbox

Retro groove color scheme for Vim

haskell-arrow-validation

how-fast-does-it-quicksort

Benchmarks for quicksort implementations in various languages

purescript-pux-redux

Types and helper functions for building pux apps that interact with an external redux store

bfh

Brainfuck, in Haskell - Code review

emacs-theme-gruvbox

Gruvbox is a retro groove color scheme for Emacs. Port of the Vim version.

hoobot

A hubot script that searches Hoogle

java-pure-io

Pure IO in Java :)

little-language-interpreter

An interpreter for a tiny subset of arithmetic expressions

programmable-syntax

What if a programming language's parser was metaprogrammable?

property-based-testing-talk

Talk about property-based testing for BFPG

purescript-hubot

Hubot bindings for PureScript

purescript-record

purescript-scoped-http-client

Bindings to node's scoped http client

tdlh

To-do-list, in Haskell - Code Review

xsd

Fork of the discontinued xsd haskell package (http://hackage.haskell.org/package/xsd)