Envision a future where everyone can read all the code of an educational operating system.
Repository Index
71,372 visible repositories in the index
1–7 of 7 · Most stars
Official MINIX sources - Automatically replicated from gerrit.minix3.org
Shredos Disk Eraser 64 bit for all Intel 64 bit processors as well as processors from AMD and other vendors which make compatible 64 bit chips. ShredOS - Secure disk erasure/wipe
- disk
- eraser
- erase
- erase-disk
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
🛡️ Free AI that blocks hackers while you sleep. Runs on cheap hardware. When someone in Tokyo gets attacked, you're protected in 30 seconds. No fees. No experts needed. Just protection. One node's detection → everyone's protection.
- ai-security
- cybersecurity
- ids
- iot-security
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel