Countdown

Programs and profiling results accompanying the paper Countdown: a case study in origami programming. [GZipped Tarball]