GitHub repository: CarlTS/pxt-sample
Description: Sample target for PXT