Skip to content
@SAGE-Lab

SAGE-Lab

SAGE-Lab is a joint lab between the universities of SAssari and GEnova

Popular repositories Loading

  1. SpecPro SpecPro Public

    Java 3 1

  2. snl2fl snl2fl Public

    Java 1 2

  3. robot-arm-usecase robot-arm-usecase Public

    1

  4. dahu dahu Public

    Dahu is a framework that facilitates autonomous decision making in cyber-physical systems.

    Scala 1

  5. utils utils Public

    Java

  6. atg atg Public

    Java

Repositories

Showing 7 of 7 repositories
  • SpecPro Public
    SAGE-Lab/SpecPro’s past year of commit activity
    Java 3 LGPL-3.0 1 1 0 Updated Jun 4, 2020
  • snl2fl Public
    SAGE-Lab/snl2fl’s past year of commit activity
    Java 1 LGPL-3.0 2 3 0 Updated Jun 12, 2018
  • rcll_planner Public

    Domain specific planner for the RCLL based on OMT

    SAGE-Lab/rcll_planner’s past year of commit activity
    C++ 0 1 0 0 Updated May 31, 2018
  • dahu Public

    Dahu is a framework that facilitates autonomous decision making in cyber-physical systems.

    SAGE-Lab/dahu’s past year of commit activity
    Scala 0 1 8 0 Updated May 11, 2018
  • atg Public
    SAGE-Lab/atg’s past year of commit activity
    Java 0 0 0 0 Updated Mar 19, 2018
  • utils Public
    SAGE-Lab/utils’s past year of commit activity
    Java 0 0 0 0 Updated Mar 19, 2018
  • robot-arm-usecase Public
    SAGE-Lab/robot-arm-usecase’s past year of commit activity
    1 MIT 0 0 0 Updated Dec 11, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…