I think the last link they attached: https://github.com/rafi021/Pycom-module-Example also includes the library with example