Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
Repository Index
72,862 visible repositories in the index
1–7 of 7 · Most stars
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.
Desktop system for creators with a focus on simplicity, elegance, and usability. Based on FreeBSD. Less, but better!
- hellosystem
- usability
- desktop
- simplicity
Floppy Bird (OS)
An operating system written in D
A basic operating system for the Game Boy. Because I can.
A small x86 32-bit operating system.
- assembly
- basic-operating-system
- c
- kernel