ESP8266 Arduino IDE RadioHead Does Not Work - Other Options? 433 Radio

I want to use a 433Mhz radio receiver and a transmitter (at set, different use times) with an ESP8266 based board. I was hoping to use RadioHead to do this but it doesn't have support for the processor in the ESP8266 at this time.

Does anyone know if there are any alternatives to this library that would work with the ESP8266 in Arduino IDE?

Otherwise, how difficult would it be to add the support to RadioHead?

It looks like the RCSwitch library works ok with the ESP9266. Just need to figure out interrupts...

The latest radiohead version (1.54) has initial esp8266 support. See Redirecting to Google Groups fpr discussion and RadioHead: RadioHead.h Source File for changelog.