Skip to content
#

Operating system

An operating system operates and manages both the hardware and software in a computer. Operating systems provide software platforms for applications to function.

Here are 276 public repositories matching this topic...

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.

  • Updated Sep 22, 2024
  • Rust
Followers
24.4k followers
Wikipedia
Wikipedia