Tools Manuals, tutorials and setup for robots/RPi/computers from LaR. Laboratory of Robotics - LaR Installing Ubuntu Core on a Raspberry Pi (RPi) Go to this folder. UR5 with ROS (Installation + Usage) Go to this folder. Setting up SSH Keys for GitHub How to create SSH keys and do a proper setup for GitHub, package