hirtosjgrivera67/HiRTOS
A high-integrity multi-core RTOS and separation kernel written in SPARK Ada, designed for safety-critical embedded systems.
523Ada
5 months agoThere are currently 3 open-source projects built with SPARK/Ada, with a combined total of 86 GitHub stars. The most common language among these projects is Ada.
Showing 3 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
