Skip to content


@VerifiableRobotics @team-vigir @GoaldenHourCornell @FlexBE @KuriRobot


  1. A few things about me and about working with me


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


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

    C++ 1k 1.3k

  4. Installing ROS on OS X.

    Shell 321 120

  5. Reactive (LTL) Specification Construction kit

    Python 2 2

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

    Python 1 3

1 contribution in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Activity overview
Contributed to spmaniato/about

Contribution activity

January - July 2020

spmaniato has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.