but once you have that in a function it should behave the same as the Puck.
If he does have some success, it'd be great if he could post up his code (the IR waveforms) and maybe we could turn it into a library that others could use.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Yes, I'd be pretty sure Puck.js could do it - I don't have one to test, but doing this would probably work fine: http://www.espruino.com/Puck.js+Infrared
With micro:bit, maybe. You'd have to add an IR transmitter and manually do analogWrite - basically this:
http://www.espruino.com/Pico+Infrared#line=97,98,99,100,101,102,103,104
but once you have that in a function it should behave the same as the Puck.
If he does have some success, it'd be great if he could post up his code (the IR waveforms) and maybe we could turn it into a library that others could use.