A free Windows-compatible Operating System
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel