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