Code
Our active implementation of Jeeves is our Python embedding. We allow programmers to use Jeeves simply by importing our JeevesLib library and annotating classes and functions with the @jeeves annotation. You may browse and download the code on GitHub.
We have a preliminary implementation of Jeeves as an embedded domain-specific in Scala. What this means is we have a Scala library that allows you to write Scala-looking code that behaves according to the Jeeves semantics. You may browse and download the code on Google Code.
There is also a Haskell implementation of the symbolic execution semantics for Jeeves.