HipHop for PHP. That was neat.