How can I find ROS packages on GitHub?
How can I find ROS packages on GitHub? I thought about e.g. using the GitHub search field with something like <package> filename:package extension:xml
to search for package.xml
files which contain <package>
(GitHub syntax for searching code). But I did not come up with a suitable serach pattern so far.