elsa.js is a lambda calculus evaluator in JavaScript

Run HLint as part of normal compilation

A demo web browser engine written in Haskell

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

A Haskell interface for specifying linear algebra computations

Dafny for Metatheory of Programming Languages

Implementations of various type systems in OCaml.

One-line Haskell Vim install

My sandbox for experimenting with solver algorithms.

Read ghc-core with style. javascript and CSS style.

A tutorial on Parallel and Concurrent Haskell

A library for analyzing LLVM bitcode in Haskell