Theseus
by theseus-os
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.
AI summary
OS project
An experimental operating system written in Rust to explore intralingual design principles and shift OS responsibilities into the compiler.
- stars
- 2.9K
- forks
- 174
- watching
- 36
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
OS tutorial
A tutorial series for developing operating systems from scratch using Rust on ARMv8-A architecture
rust-lang/rustup6.2K
Compiler manager
A tool that installs and manages multiple versions of the Rust compiler on different platforms.
Rust learning exercises
A collection of small exercises to help developers learn Rust programming language by reading and writing code.
seed-rs/seed3.8K
Web app framework
A Rust framework for building fast and reliable web apps with an Elm-like architecture.
Package registry
A central registry and infrastructure for sharing Rust packages, written in Rust
Game engine
A cross-platform game engine with Rust support for building 2D games and interactive applications.
Rust compiler
A container solution to compile Rust projects across multiple operating systems.
extrawurst/gitui18.7K
Git UI
A terminal-based Git UI written in Rust, providing fast and intuitive keyboard-only control and async Git API for fluid control.
protobuf compiler
A Rust implementation of Protocol Buffers for generating idiomatic and readable code from proto2 and proto3 files.
redox-os/redox15.2K
OS framework
A build system and foundation for an operating system written in Rust.
Build tool
A tool that automates the build process for Rust projects
uutils/coreutils17.9K
Utility library
A cross-platform implementation of a collection of command-line utilities in Rust.
Rust API project
Supplementary codebase for an API development book written in Rust
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
nrc/r4cppp3.7K
Rust tutorial
A tutorial designed to help experienced C and C++ programmers quickly learn Rust programming.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions Theseus.
