There are a few Micropython modules provided to interface to the christmas card. They can be imported like any other Micropython module.
My Board Flashing Script
lm75 Module