andygill/web-experiment
Trying the auto generated web pages
Developer Profile
andygill
Discovered public repositories for andygill in the GitHub catalog.
andygill/ku-fpg.github.io
Group webpages using jekyll
andygill/engr108
Toy for ENGR 108
andygill/edsls-for-software-engineers
EDSLs for (software) engineers
andygill/ldpc
LDPC case study for HERMIT project (2).
andygill/test-pages
Testing the pages generator
andygill/online
Online SIGPLAN resources
andygill/sigplan-test
Test of SIGPLAN website
andygill/nat-paper
Paper about Nat kind in Haskell
andygill/applicative-monad
do notation for applicative functors
andygill/todo-today-old
Public repository.
andygill/grader
Scripts for helping grading
andygill/icfp2000-raytracer
Public repository.
andygill/rubik-solver
Solver for rubik, for teaching applicative functors
andygill/boolean-tf
Generalized booleans via type functions
andygill/commuting-functors-paper
paper about commuting functors
andygill/chalkboard2
ChalkBoard Graphics package
andygill/kansas-lava
Kansas Lava
andygill/lambda-bridge
A bridge from Haskell (on a CPU) to VHDL on a FPGA.
andygill/opengl-hacks
Prototyping OpenGL ideas written using the Haskell OpenGL bindings
andygill/kure-your-boilerplate
An extension to KURE which uses Template Haskell to make writing the KURE constructor function automatic
andygill/latex-utils
Various latex packages that may or may not mature into something useful.
andygill/offline-functions
Offline functions is a TeX library for calling offline procedures from within Tex (and LaTeX) code.
andygill/glyph-number-marks
TeX Library for adding glyph numbers to code fragments.
andygill/er-systemf
An implementation of System-F, and combinators for rewriting it.
andygill/th-subst
Substution engine for Template Haskell Syntax
andygill/kure
Combinators for rewriting arbitrary syntax trees that have scoping
andygill/httpd-shed
A simple websever with an interact style API
andygill/io-reactive
An implementation of the reactivity model used in O'Haskell and TIMBER
andygill/scripts
My various shell and perl scripts to get things done
andygill/checkit
Kit for building QuickCheck like testing tools.