This is a simple implementation of the Cat programming language in Scheme. The goal is to support the entire set of primitives and all of the semantics of Cat in a simple and easy to understand code base. The hope is that this will encourage others to play around with the semantics of Cat, and write their own extensions -- as well as simply improve the implementation.
Right now it supports all of the level 0 and 1 primitives, supports the definition of recursive functions, and plays (sort-of) nicely with the PLT Scheme module system. The short term goals are to add type inferencing and the level 2 primitives, which I consider essentially the first milestone.