Source code for the Guru programming language is here.

Version 1.0 is under active development, particularly the compiler to C. The type/proof-checker is quite stable, though. So if you are using the book (Verified Programming in Guru), you should be fine for Chapters 1 through 8. Chapters 9 and 10 need to be revised anyhow, as I have made a lot of progress over the summer integrating the resource-tracking layer (called Carraway) with the rest of Guru.

svn checkout http://guru-lang.googlecode.com/svn/branches/1.0/ guru-lang

I recommend using the 1.0 version, since we have fixed some bugs since 1.0a.

If you just want to work through the book, though, version 1.0a is a snapshot known to work for the material in the book, so that is also an option:

svn checkout http://guru-lang.googlecode.com/svn/branches/1.0a/ guru-lang

If you have questions, feel free to email the Guru Gang mailing list: guru-gang@googlegroups.com. I (or possibly another aspiring Guru hacker!) will try to respond quickly to these emails.

Support for this project is partially provided by the U.S. National Science Foundation.