https://github.com/facebook/hiphop-php/
but it seems to have been removed and the repo's not public on GitHub yet. Soon,
I hope :)
source release had to be yesterday, I don't know the details what
happened, but I heard people telling 'soon = this week'.
Domas