Source Code for The Rational Project