The clocks in the space. See also Nottingham Hackspace's wiki:
https://wiki.nottinghack.org.uk/wiki/BigClocks
The microcontroller within is DCcEle DCcduino UNO (basically an Arduino Uno)
The BigClock library has been patched here.
Using Arduino or Platform IO, compile the files in ./src/.
See BigClock.h and Adafruit_GFX.h libraries for specific functions that can be used.
Example scripts are in ./src_unused/. Drag these to ./src/ and recompile to test. Some require a button to be wired up to the Arduino.