Miscellaneous articles. The readme is the table of contents.

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Minimal implementations for dependent type checking and elaboration

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

A modern syntax for the λ-calculus.

a C read-eval-print loop (abandoned)

Symbolic execution engine for toy language.

FSQL : File System Query Language is a tool for performing queries on the local filesystem with syntax similar to SQL.

A MIDI message routing tool written in Haskell. This program was written to benchmark the performance of MIDI message handling in Euterpea with the UISF library for graphics in Haskell.

An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)

Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell