This is all very old and honestly uninteresting. See my Github instead.

My master thesis project

A prototype implementation of Curry based on a new evaluation technique. It is implemented in Curry and OCaml. A C backend is in the works, but will never leave the works.

(The link is dead. Maybe I'll resurrect it someday)

Old Unmaintained Stuff

All the source code for this site in licensed under the GNU GPL so feel free to borrow as long as you site is also under the GNU GPL. If you would like to use parts of my code in a non-GPL project email me and depending on your circumstances I may make an exception.

I wrote a small Javascript animation library for this site. I you want some more info or to see an example go to my Penguin Air Drop page.

Other programs and stuff

Installation Instructions
FileMP3s Binary (V. 0.0.2)An MP3/Ogg filer (organizer). It will guess tags for files that don't have one and copy each file to <artist>/<title>.{ogg,mp3}. By default it does not actually do anything give it -r to make it really copy files. Give -o <dir> to tell it what directory to output to. It will create a file that is a shell script to copy the file back to there original locations. Use at your own risk. If it deletes your MP3 collection or strips all the tags and names them all "Track #", it is not my fault.
Just gunzip it. It's a static executable.
FileMP3s Source Code (V. 0.0.2)Source code for an mp3/ogg filer (organizer). See above.
This is a standard autoconf/automake package. Run:
$ tar xzf filemp3s-0.0.2.tar.gz
$ cd filemp3s-0.0.2
$ ./configure
$ make

and if you are lucky it will work. If it doesn't make sure you have all the required libraries installed. Also I developed this on Debian Unstable and it hasn't been tested on anything else. Then if you want to install it run "make install".

dv_utils (updated: 1/15/03)
This is deprecated. Please use kino as it now supports quicktime and I am no longer maintaining dv_utils. I have seen comments that people don't want to/cannot install GTK for Kino, so if anyone would like adopt dv_utils for the benefit of these people please email me. dv_utils has just moved from alpha to beta and should be completly usable though it might crash a bit. Several little programs I wrote to make editing and using DV video easier. The main tool is dv2dv. It is a file converter that converts from between AVI, quicktime and raw DV without decoding. It is possibly using this, Kino, and Cinelerra (for me) to do complete video editing on Linux using entirely open-source software. This version can create type 2 AVIs and compiles properly without quicktime support and without libavc1394. This version also compiles on older GCCs (< 3.0).
This is a standard autoconf/automake package. Run:
$ tar xzf dv_utils-0.2.3.tar.gz
$ cd dv_utils-0.2.3
$ ./configure
$ make

Then if you want to install it run "make install".

OSSProbeA little program I wrote that scans your the OSS sound device to find some basic info about the card. The main thing is that it can find all the rates supported by the device.
Run "g++ -o ossprobe" to compile it, then "./ossprobe" to run it.
A patch to the Linux Pro Audio Spectrum driverDeprcated. This patch has been incorperated in to the 2.4 kernels. This patch should fix the mixer when using the driver with a PAS16 rev. D. I ran into this problem and looked though the code, and there I found a one character bug. That's what this patch fixes. This patch is against linux 2.2.17, but should work on any 2.2 kernel.
This is a standard kernel patch. You can find instructions in The Linux Kernel HOWTO.


To my knowledge every thing here is licensed under the GNU GPL and everything here that actually wrote myself is copyright Arthur Peters. The material that is copyright Arthur Peters is under this license:

Copyright (C) 2000-2001  Arthur Peters

This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License
as published by the Free Software Foundation; either version 2
of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
GNU General Public License for more details.

Please goto to find a copy 
of the GNU General Public License.

You can contact me (Arthur Peters) by email at

If you have trouble with any of this stuff please feel free to email me at If you just need general help with Linux (eg. what is g++ and where do I get it?) I recommend the the varius Linux HOW-TOs (they can be found at or the Newbized Help Files at (I havn't really read any of these, but they look pretty good). Good luck and happy hacking.