Popular repositories

1. BTCompiler BTCompiler Public

   Software for verified execution of Behavior Trees

   OCaml 7 3

2. Yarp-SmartSoft-Integration Yarp-SmartSoft-Integration Public

   SW components used to integrate YARP modules in SmartSoft

   C++ 2

3. YARP-BT-modules YARP-BT-modules Public

   Repository containing the external Behavior Tree leaf nodes for CARVE Scenarios

   C++ 1 1

4. carve-scenarios-config carve-scenarios-config Public

   This repo contains maps and application configuration files for the modules used in the scenarios

   Lua 1

5. CARVE-ROBMOSYS.github.io CARVE-ROBMOSYS.github.io Public

   Website of the CARVE project.

   HTML 1