GitHub repository: rosindex/rosindex.github.io
Primary language: JavaScript
Description: A community-maintained ROS package index.