Not sure what you mean by “proprietary”. They use hack/hhvm which is open source. It’s not super popular but slack also uses it.