GitHub repository: tinkertanker/pxt-ir-receiver
Primary language: C++
Description: Tinkercademy MakeCode package for using an IR (infrared) receiver with the BBC micro:bit (beta)