Projects

This is the root page for two projects.

MetaPRL is a logical framework and a programming environment. This is the system I implemented for my thesis. The documentation still needs work in places; I'm working on it. In the meantime, the documentation describes how to download, install, and use MetaPRL.

The Ensemble Juke Box (EJB) is a distributed audio application designed to exchange high-quality audio data bewteen users on local area networks.