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
To build and install the application, follow the instructions below:
- Clone this repository and move into it
git clone https://github.com/FelipeACXavier/maki.git && cd maki- Then clone the submodules:
git submodule update --init --recursive- After this step, we follow OS specific instructions:
Some examples are available in the ./examples folder. These can be loaded directly into MAKI. Each example has a correlated generated KODA file for those interested in the textual DSL. More information can be found in the KODA repository.
- Red Inferno: #bb2c1e
- Flame of Prometheus: #d73800
- Freshly Baked: #e5c185
- Fondue: #fbf2c4
- Neptune Green: #7ebb9c
- Emperor Jade: #018373
- Windows 95 Desktop: #008585
To keep the same aesthetic across different operating systems, MAKI uses predefined fonts. All of these are open-source: