Skip to content
@Drona-Org

Drona-Org

Pinned Loading

  1. Drona Drona Public

    Drona is a programming framework for building safe robotics systems

    C++ 29 9

  2. Drona-DMR Drona-DMR Public

    Drona framework used for build distributed robotics systems

    C 6 1

Repositories

Showing 6 of 6 repositories
  • Drona Public

    Drona is a programming framework for building safe robotics systems

    Drona-Org/Drona’s past year of commit activity
    C++ 29 9 2 0 Updated Apr 29, 2022
  • SOTERonROS Public

    SOTER on ROS is a run-time assurance framework for building safe distributed mobile robotic (DMR) systems on top of the Robot Operating System (ROS).

    Drona-Org/SOTERonROS’s past year of commit activity
    C# 0 1 0 0 Updated Jun 23, 2020
  • Q Public Forked from p-org/P

    The Q programming language.

    Drona-Org/Q’s past year of commit activity
    C# 0 MIT 188 0 0 Updated Jul 13, 2017
  • Drona-DMR Public

    Drona framework used for build distributed robotics systems

    Drona-Org/Drona-DMR’s past year of commit activity
    C 6 MIT 1 1 0 Updated May 4, 2017
  • Drona-DMR-Experiments Public

    Experiments using Drona tool

    Drona-Org/Drona-DMR-Experiments’s past year of commit activity
    0 MIT 0 0 0 Updated Oct 3, 2016
  • ComplanV2 Public

    Complan is a prototype tool for compositional multi-robot motion planning for complex specification.

    Drona-Org/ComplanV2’s past year of commit activity
    C++ 1 MIT 0 2 0 Updated Aug 5, 2015

Top languages

Loading…

Most used topics

Loading…