Is the source code available for the software that ships by default with the Core S3 stack?

I've found https://github.com/m5stack/M5CoreS3 but this does not appear to be the same software. What is shipped with the Core S3 is pretty decent and I'd love to examine the source.

Many thanks.