MakeCode package for modules in the Micro:bit Tinker Kit by Pi Supply - View it on GitHub