Codes for the robot-autonomy course