theseus-os / TheseusLinks
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.
☆3,115Updated last year
Alternatives and similar repositories for Theseus
Users that are interested in Theseus are comparing it to the libraries listed below
Sorting:
- Hermit for Rust.☆1,870Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,414Updated this week
- A Rust-based, lightweight unikernel.☆1,399Updated this week
- An experimental pure-Rust x86 bootloader☆1,616Updated this week
- Migrate C code to Rust☆4,636Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,461Updated last year
- GCC Front-End for Rust☆2,811Updated last week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,245Updated 10 months ago
- A secure embedded operating system for microcontrollers☆6,213Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,881Updated this week
- The Rust Performance Book☆2,637Updated 3 weeks ago
- A comparison of operating systems written in Rust☆830Updated 3 months ago
- Adding support for the Rust language to the Linux kernel.☆4,317Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,820Updated last year
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,752Updated 2 months ago
- Rust friendly bindings to *nix APIs☆2,976Updated last week
- a smol tcp/ip stack☆4,345Updated this week
- A small and fast async runtime for Rust☆4,740Updated 2 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,553Updated last week
- A container runtime written in Rust☆7,223Updated this week
- 🧑🔬 Operating system☆1,447Updated last month
- A modern TLS library in Rust☆7,225Updated this week
- Tool to create bootable disk images from a Rust OS kernel.☆873Updated 3 weeks ago
- A guide to how rustc works and how to contribute to it.☆1,829Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,341Updated 4 years ago
- The Elegant Parser☆5,273Updated last week
- Safe interop between Rust and C++☆6,649Updated 2 weeks ago
- Library to program x86_64 hardware.☆907Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtime☆2,898Updated 2 years ago
- MOROS: Obscure Rust Operating System 🦉☆1,050Updated this week