Files used to create a RaspberryPi Binary Clock using the Python RPi.GPIO library