There's also an Open Source clone of RenderMan itself...

http://www.renderpixie.com/

which (I believe) has received some official support from Pixar. More information:

http://en.wikipedia.org/wiki/Pixie_(renderer)

EDIT: Wikipedia link