CuBit in ohenley/awesome-ada

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

updated at Oct. 13, 2024, 12:01 p.m.

Ada

14 +0

78 +0

4 +0

GitHub
YOTROC in ohenley/awesome-ada

Assembler/Emulator for Fictional YOTROC Architecture

updated at March 11, 2022, 10:29 p.m.

Ada

2 +0

4 +0

0 +0

GitHub