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.