GitHub repository: keyestudio-team/pxt-RI-receiver
Description: IR receiver for microbit