Pinned Loading

1. about about Public

   A few things about me and about working with me

   2

2. ansiblerc ansiblerc Public

   💻 Ansible playbooks for provisioning macOS and Linux development / work machines

   1

3. ros-planning/navigation ros-planning/navigation Public archive

   ROS Navigation stack. Code for finding where the robot is and how it can get somewhere else.

   C++ 2.6k 1.8k

4. mikepurvis/ros-install-osx mikepurvis/ros-install-osx Public

   Installing ROS on OS X.

   Shell 338 113

5. VerifiableRobotics/ReSpeC VerifiableRobotics/ReSpeC Public

   Reactive (LTL) Specification Construction kit

   Python 3 2

6. team-vigir/vigir_behavior_synthesis team-vigir/vigir_behavior_synthesis Public

   ROS packages that enable the automatic synthesis of executable state machines.

   Python 1 3