MAKI is a low-code platform that targets robotic systems. It is build on top of KODA and aims to simplify the creation of formally verified ROS2 systems. MAKI is still in development so expect breaking changes now and then. For more information, check out the documentation and these papers:

Verification-Centered Low-Code for Autonomous Robots: A Contract-Based Reference Architecture Approach
From Robotic to IoT Systems: Exploring the Reuse of a Robotic Orchestration DSL in the IoT domain

Overview

MAKI is a Qt-based low-code environment for composing robotic systems using visual pipelines and DSL-based generators.

The platform focuses on:

Plugin-based code generators
ROS integration
Behaviour tree orchestration
Simulation and verification pipelines

Overview

Documentation