Skip to content
@PRECISE

PRECISE Lab at UPenn

Our researchers are collaborating to develop next-generation medical systems, automotive systems, and consumer electronics.

Popular repositories Loading

  1. HACMSDemo HACMSDemo Public

    A cross-platform graphical Python application used to display ROS telemetry

    Python 52 22

  2. ROSLab ROSLab Public

    ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.

    HTML 8 3

  3. TrustForge TrustForge Public

  4. DatadumpTool DatadumpTool Public

    A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.

  5. SMEDL SMEDL Public

    SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.

    C

  6. smedl-fiat-code smedl-fiat-code Public

    Formalization of SMEDL

    Coq

Repositories

Showing 6 of 6 repositories
  • smedl-fiat-code Public

    Formalization of SMEDL

    PRECISE/smedl-fiat-code’s past year of commit activity
    Coq 0 0 0 0 Updated Aug 14, 2021
  • SMEDL Public

    SMEDL is a runtime verification framework to specify monitors, to generate code from specifications, and to deploy the monitors in a centralized or distributed settings.

    PRECISE/SMEDL’s past year of commit activity
    C 0 MIT 0 0 0 Updated Jul 22, 2021
  • ROSLab Public

    ROSLab is a high-level programming environment based on ROS that allows a simplified and intuitive programming of robots using design blocks and links.

    PRECISE/ROSLab’s past year of commit activity
    HTML 8 Apache-2.0 3 0 0 Updated May 17, 2021
  • HACMSDemo Public

    A cross-platform graphical Python application used to display ROS telemetry

    PRECISE/HACMSDemo’s past year of commit activity
    Python 52 22 0 0 Updated Oct 22, 2014
  • DatadumpTool Public

    A Python-based command-line utility for deploying, querying, and generating statistics from MongoDB datadumps.

    PRECISE/DatadumpTool’s past year of commit activity
    0 0 0 0 Updated Jun 6, 2013
  • TrustForge Public
    PRECISE/TrustForge’s past year of commit activity
    0 0 0 0 Updated Jun 5, 2013

Top languages

Loading…

Most used topics

Loading…