keyvalue
id417511425
nameHiRTOS
full_namejgrivera67/HiRTOS
html_urlhttps://github.com/jgrivera67/HiRTOS
descriptionHiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
created_atOct. 15, 2021, 1:34 p.m.
updated_atNov. 6, 2024, 12:41 a.m.
pushed_atAug. 11, 2024, 1:43 p.m.
size18,122
stargazers_count35
watchers_count9
forks_count2
open_issues4
languageAda
awesome_list

https://github.com/ohenley/awesome-ada