Files are available on GitHub
Arduino Library
Arduino Examples
pyMCU Library
pyMCU Examples