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,039Updated 10 months ago
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,812Updated this week
- Migrate C code to Rust☆4,421Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,211Updated this week
- A Rust-based, lightweight unikernel.☆1,320Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,231Updated 4 months ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,784Updated last year
- GCC Front-End for Rust☆2,678Updated this week
- An experimental pure-Rust x86 bootloader☆1,529Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,233Updated this week
- A comparison of operating systems written in Rust☆790Updated this week
- The Rust Performance Book☆2,459Updated last month
- An interpreter for Rust's mid-level intermediate representation☆5,346Updated this week
- A small and fast async runtime for Rust☆4,390Updated 2 weeks ago
- a smol tcp/ip stack☆4,145Updated 2 weeks ago
- the champagne of beta embedded databases☆8,618Updated 2 months ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,409Updated 8 months ago
- Rust friendly bindings to *nix APIs☆2,866Updated last month
- A secure embedded operating system for microcontrollers☆5,938Updated this week
- Tool to create bootable disk images from a Rust OS kernel.☆828Updated 4 months ago
- The Elegant Parser☆5,058Updated last month
- Framework for writing Linux kernel modules in safe Rust☆1,337Updated 4 years ago
- 🧑🔬 Operating system☆1,444Updated this week
- Alternative rust compiler (re-implementation)☆2,335Updated 3 months ago
- A guide to how rustc works and how to contribute to it.☆1,761Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,707Updated 2 months ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,075Updated last month
- Highly-available Distributed Fault-tolerant Runtime☆2,861Updated 2 years ago
- Tools for concurrent programming in Rust☆7,995Updated last month
- Async version of the Rust standard library☆4,049Updated 4 months ago
- LR(1) parser generator for Rust☆3,300Updated 3 weeks ago