Used it with Laravel instead of PHP 5 a couple years ago. Nice speed improvement at the time, but now with PHP 7 it doesn't make much difference anymore so I just stick with good ol' PHP.

Great idea! Especially that noobie badge. If that works, it'd be great for the community.