CuBit

CuBit

https://github.com/docandrew/CuBit

Ada75

3 years ago

Reviews

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

Search similar apps

License

GNU General Public License v3.0

Share

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

Creator

docandrew

Related apps

YOTROC

YOTROC

Assembler/Emulator for Fictional YOTROC Architecture

Ada4unlicense

4 years ago

adagtkada