CuBit

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

GitHub
77 stars
14 watching
4 forks
Language: Ada
last commit: over 3 years ago
Linked from 1 awesome list

adaossparkx86-64

Backlinks from these awesome lists: