DwarfX, ну формально он на KittenPHP, который написан внутренними ВКшными олимпиадниками с нуля. Это такой компилятор php в нативный код)

Телеграм кстати тоже на нём, но на форкнутой в 2013 версии.