
Just threw together a little library in about an hour that will let you capture infrared remote values according to the NEC protocol.
(The type available on eBay under "Arduino infrared remote")
https://github.com/MattMatic/micropython-necir
(NOTE: You may need to use a 10k pull-up resistor for the TL1838, otherwise you can get spurious triggers if just relying on the pyboard pull-up)
Essentially does a capture timer of the high-pulses (no-IR) and handles the bitstream. When a completed 32 bits have been received, and they all tally (Address + NOT Address + Command + NOT Command) then it issues the callback function.
Enjoying the speed of Python development

Matt