Pi-puck extension board: a Raspberry Pi interface for the e-puck robot platform
Debian package repository:
deb http://www.cs.york.ac.uk/pi-puck/debian/ stretch main
or
deb http://www.cs.york.ac.uk/pi-puck/debian/ buster main
Repository public key:
wget -qO - https://www.cs.york.ac.uk/pi-puck/pi-puck-repo.key | sudo apt-key add -
or
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv 9D223FA8
See https://www.york.ac.uk/robot-lab/pi-puck/ and http://www.gctronic.com/doc/index.php?title=Pi-puck for more information.