General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Ada-language framework
- ada
- ada-language
- arm
- avr
47,133 repositories indexed
1–2 of 2 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada-language framework