GitHub repository: ludoplex/qpc
Description: QP/C Real-Time Embedded Framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines