GitHub repository: mabeh19/Diamant
Primary language: C
Description: RTOS with focus on safety.