Here I distribute some code I've written that others may find helpful, or people might want to look at as an example of my coding.

scolorq

Spatial color quantization is a novel, sophisticated technique for decreasing the color depth of an image. It combines palette selection and dithering with a simple perceptual model of human vision to produce superior results for many types of images. scolorq is my own implementation of this algorithm, as far as I know the only publically available implementation.

MLud

MLud is a runtime-extensible, object-oriented, prototype-based language designed for building on-line collaborative environments built on top of SML/NJ. It supports dynamic delegation with multiple dispatch, built-in support for several useful datatypes, inline ML, and checkpoint persistence.

Confluently Persistent Catenable Deques

Standard ML structures implementing a fully persistent double-ended queue supporting addition, removal, and inspection at both ends as well as concatenation of two lists in amortized constant time.

Select - a literate programming example

To experiment with literate programming, I used it to write a small program that demonstrates a worst-case linear selection algorithm.

Neural Network

A C++ class providing a generic interface to a full backpropagation neural network trainer and executer.

po2hr - Otter Proof Object to LaTeX converter

A Lisp module that can convert the Lisp-formatted proof object outputted by the first-order-logic-based automatic theorem prover Otter into LaTeX files for producing human-readable proof documents.

C Template Library

A group of mostly independent C modules, providing an efficient and typesafe level of abstraction around commonly-used datatypes.

Tic-Tac-Toe Without Loops

Read the horrific story of how I created a Tic-Tac-Toe game in C++ with a computer opponent that always wins, without using any loops or recursion!