REST API for controlling and scheduling GPIO pins on a Raspberry Pi -- soon to be multi-node!