Skip to content
Change the repository type filter

All

    Repositories list

    • pstnlib

      Public
      A library of tools for handling probabilistic simple temporal networks.
      Python
      BSD 3-Clause "New" or "Revised" License
      1000Updated Feb 20, 2024Feb 20, 2024
    • otpl

      Public
      The Open Task Planning Library
      Python
      BSD 3-Clause "New" or "Revised" License
      6000Updated Dec 22, 2022Dec 22, 2022
    • CraftBots is a lightweight multi-agent team simulator to evaluate/benchmark integrated planning and execution.
      Python
      6224Updated Oct 30, 2022Oct 30, 2022
    • Tackling Programming Anxiety with AI: Generation of Tailored Programming Exercises
      JavaScript
      0000Updated Aug 11, 2022Aug 11, 2022
    • PX4 Autopilot Software
      C++
      BSD 3-Clause "New" or "Revised" License
      14k000Updated Jun 27, 2022Jun 27, 2022
    • Python
      1100Updated Jun 24, 2022Jun 24, 2022
    • The API that deals with spawning and managing digital twin instances.
      Python
      1000Updated Mar 22, 2022Mar 22, 2022
    • jMAVSim

      Public
      Simple multirotor simulator with MAVLink protocol support
      Java
      BSD 3-Clause "New" or "Revised" License
      257000Updated Mar 3, 2022Mar 3, 2022
    • The probe system for the CAELUS architecture
      Python
      1000Updated Feb 24, 2022Feb 24, 2022
    • Python
      1000Updated Feb 16, 2022Feb 16, 2022
    • PDDL files for problems that test goal reasoning about commitments
      Python
      0000Updated Feb 14, 2022Feb 14, 2022
    • A python port of the thermal model developed for the CAELUS project by Gianluca Filippi.
      Python
      1100Updated Feb 1, 2022Feb 1, 2022
    • explain

      Public
      Strathclyde Centre for Doctoral Training in Explainable AI for Industrial Decision Support
      HTML
      Apache License 2.0
      1000Updated Jun 22, 2021Jun 22, 2021
    • Python
      2000Updated Jun 15, 2021Jun 15, 2021
    14 repositories found. List is sorted by Last pushed in descending order.