Theseus
OS project
An experimental operating system written in Rust to explore intralingual design principles and shift OS responsibilities into the compiler.
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.
3k stars
36 watching
174 forks
Language: Rust
last commit: 4 months ago
Linked from 2 awesome lists
intralingualkerneloperating-systemresearchrusttheseus
rust-unofficial/awesome-rust
jubalh/awesome-osRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rust-embedded/rust-raspberrypi-os-tutorials | A tutorial series for developing operating systems from scratch using Rust on ARMv8-A architecture | 13,798 |
 rust-lang/rustup | A tool that installs and manages multiple versions of the Rust compiler on different platforms. | 6,213 |
| rust-lang/rustlings | A collection of small exercises to help developers learn Rust programming language by reading and writing code. | 55,016 |
 seed-rs/seed | A Rust framework for building fast and reliable web apps with an Elm-like architecture. | 3,808 |
| rust-lang/crates.io | A central registry and infrastructure for sharing Rust packages, written in Rust | 3,022 |
 not-fl3/macroquad | A cross-platform game engine with Rust support for building 2D games and interactive applications. | 3,424 |
 peco602/rust-universal-compiler | A container solution to compile Rust projects across multiple operating systems. | 32 |
 extrawurst/gitui | A terminal-based Git UI written in Rust, providing fast and intuitive keyboard-only control and async Git API for fluid control. | 18,720 |
 tokio-rs/prost | A Rust implementation of Protocol Buffers for generating idiomatic and readable code from proto2 and proto3 files. | 4,001 |
 redox-os/redox | A build system and foundation for an operating system written in Rust. | 15,232 |
 sagiegurari/cargo-make | A tool that automates the build process for Rust projects | 2,614 |
 uutils/coreutils | A cross-platform implementation of a collection of command-line utilities in Rust. | 17,883 |
 lukemathwalker/zero-to-production | Supplementary codebase for an API development book written in Rust | 5,874 |
| rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
 nrc/r4cppp | A tutorial designed to help experienced C and C++ programmers quickly learn Rust programming. | 3,666 |