GitHub is home to over 31 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
A simple bash script to generate rosinstall files 'from the past'
Logos and other material related to ROSIN
T3.4 MDD - Metacontrol: runtime self-adaptation for ROS systems
Tools to work with catkinized rosdistro files
Plugins and configurations for wiki.ros.org
ROS buildfarm based on Docker
ROS quality hub