slivingston

slivingston's Stars

• rerobots/mistygrind

  tool for static analysis of Misty skills and offboard Misty REST API clients

  Language:Python2

• MistyCommunity/REST-API

  Sample code, tools, and other resources for working with the Misty II REST API and WebSocket events.

  Language:HTML108

• MistyCommunity/Documentation

  The repository for the Misty Robotics developer documentation.

  Language:Less1713

• MistySampleSkills/Skill-Template

  A template for creating Skills for Misty

  Language:JavaScript71

• mvcisback/py-aiger

  py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).

  Language:Python419

• mvcisback/py-metric-temporal-logic

  Python library for working with Metric Temporal Logic (MTL)

  Language:Python9419

• ericskim/redax

  Control Synthesis with Finite Abstractions

  Language:Python4

• rerobots/examples

  examples of rerobots API

  Language:Jupyter Notebook31

• strawlab/MultiCamSelfCal

  multiple camera self calibration Toolbox

  Language:MATLAB20078

• strawlab/flydra

  live, low-latency markerless multi-camera 3D animal tracking system

  Language:Python5818

• autowarefoundation/autoware

  Autoware - the world's leading open-source software project for autonomous driving

  Language:Dockerfile9.3k3.1k

• kuaikai/examples

  example controllers

  Language:Shell1

• rerobots/hardshare

  share your robot through rerobots

  Language:Rust15

• kuaikai/kuaikai

  Language:Python4

• rerobots/workspaces

  Language:Dockerfile2

• kylemanna/docker-openvpn

  🔒 OpenVPN server in a Docker container complete with an EasyRSA PKI CA

  Language:Shell8.8k2.4k

• rerobots/py

  Python client library for the rerobots API

  Language:Python1

• slivingston/magnumSTL

  Language:Jupyter Notebook3

• slivingston/rcomp

  lowering the barrier to using tools developed as part of research

  Language:Python1

• slivingston/scheck

  fork of scheck

  Language:C21

• johnyf/tool_lists

  Links to tools by subject

  37481

• fmrchallenge/fmrbenchmark-website

  Language:HTML1

• catkin/catkin_tools

  Command line tools for working with catkin

  Language:Python166148

• fmrchallenge/book

  Introduction to Formal Methods for Robotics

  Language:TeX3

• rerobots/brunel_hand_ros

  ROS package for the Brunel Hand by Open Bionics

  Language:C++83

• fmrchallenge/tlzoo

  to concisely document all specification languages and their relationships

  Language:Python4

• wjwwood/serial

  Cross-platform, Serial Port library written in C++

  Language:C++2.2k1.1k

• rerobots/brunel_hand_cli

  command-line interface and Python package for the Brunel Hand by Open Bionics

  Language:Python2

• python-control/Slycot

  Python wrapper for the Subroutine Library in Systems and Control Theory (SLICOT)

  Language:Python13543

• ros-simulation/gazebo_ros_pkgs

  Wrappers, tools and additional API's for using ROS with Gazebo

  Language:C++795775