An operating system written in Common Lisp
Repository Index
71,372 visible repositories in the index
1–10 of 10 · Most stars
A new operating system kernel with Linux binary compatibility written in Rust.
- operating-system-kernel
- rust
- operating-system
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
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.
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
- os
- operating-system
- vlang
- v
A proof of concept OS kernel written in Go
An operating system written in D
First operating system written in D lang v2
RISC-V 64-bit Kernel written in Ada
An exokernel operating system written in Rust