A collection of Spin files used for Robotics Programming.