marte-os

marte.unican.essite

MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   openma-ai/Martty github.com

   A Rust/ratatui terminal client for DeepSeek Harness and other ACP-compatible coding agents.

   tool topic aitopic programming link ↗
   
2. ▲

   m2os m2os.unican.es

   RTOS with simple tasking support for small microcontrollers.

   site link ↗
   site
3. ▲

   marp github.com

   tool link ↗
   
4. ▲

   meta-ros github.com

   OpenEmbedded Layer for ROS Applications.

   site link ↗
   site
5. ▲

   marten github.com

   tool link ↗
   tool
6. ▲

   marisa-trie github.com

   Matching Algorithm with Recursively Implemented StorAge. [BSD-2-Clause/LGPL-2.1]

   tool topic programming link ↗
   

Ada/SPARK › OS and Kernels: “MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.”