A Real Time Clock program using the PCF8583_rtc library with IRremote control. The output is to my 4 digit Nixie display which uses a simple I2c BCD interface

Dependencies:   PCF8583_rtc mbed