Ninth annual
ICFP Programming Contest
Hosted by Carnegie Mellon University's POP Group

Source Code

In 2007 we released an updated version of the codex as well as the source code. It is licensed under the terms of the GNU GPL.

Contest and Tools Source

boundvariable.tar.bz2 (2088873 bytes) (2983741 bytes)

Source code for the Codex and contest tools.

This contains the entire source code for the Codex, and most of the tools we used to build the contest, including an ML to UM compiler, a UM assembler, puzzle generators for some of the problems, a graphical Antomaton simulator, etc. You can use these to build your own UM binaries.