This is an extract of https://github.com/facebook/hhvm in particular the files can be found in hphp/hack/src/utils Files were adapted to depend on core