andygill

kure

Combinators for rewriting arbitrary syntax trees that have scoping

er-systemf

An implementation of System-F, and combinators for rewriting it.

lambda-bridge

A bridge from Haskell (on a CPU) to VHDL on a FPGA.

chalkboard2

ChalkBoard Graphics package

kansas-lava

Kansas Lava

kure-your-boilerplate

An extension to KURE which uses Template Haskell to make writing the KURE constructor function automatic

offline-functions

Offline functions is a TeX library for calling offline procedures from within Tex (and LaTeX) code.

opengl-hacks

Prototyping OpenGL ideas written using the Haskell OpenGL bindings

commuting-functors-paper

paper about commuting functors

glyph-number-marks

TeX Library for adding glyph numbers to code fragments.

icfp2000-raytracer

latex-utils

Various latex packages that may or may not mature into something useful.

netlist-verilog

Netlist and Verilog Haskell Package

scripts

My various shell and perl scripts to get things done

tesh

Testing shell, which automatically does simple diff-like comparsion on the output.

th-subst

Substution engine for Template Haskell Syntax

applicative-monad

do notation for applicative functors

grader

Scripts for helping grading

pure-par

Par experiments

todo-today-old

Boolean

Generalized booleans

boolean-tf

Generalized booleans via type functions

ku-fpg.github.io

Group webpages using jekyll

lambda-ccc

Convert lambda expressions to CCC combinators

ldpc

LDPC case study for HERMIT project (2).

nat-paper

Paper about Nat kind in Haskell

online

Online SIGPLAN resources

sigplan-test

Test of SIGPLAN website

test-pages

Testing the pages generator

web-experiment

Trying the auto generated web pages