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,111Updated 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,864Updated last week
- A Rust-based, lightweight unikernel.☆1,399Updated this week
- Migrate C code to Rust☆4,636Updated this 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
- An experimental pure-Rust x86 bootloader☆1,616Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,461Updated last year
- An interpreter for Rust's mid-level intermediate representation☆5,881Updated this week
- GCC Front-End for Rust☆2,811Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,414Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,820Updated last year
- A comparison of operating systems written in Rust☆830Updated 3 months ago
- A small and fast async runtime for Rust☆4,740Updated 2 weeks ago
- a smol tcp/ip stack☆4,345Updated this week
- The Rust Performance Book☆2,637Updated 3 weeks ago
- LR(1) parser generator for Rust☆3,437Updated last week
- Adding support for the Rust language to the Linux kernel.☆4,317Updated this week
- Rhai - An embedded scripting language for Rust.☆5,135Updated 3 weeks ago
- The Elegant Parser☆5,273Updated last week
- Tool to create bootable disk images from a Rust OS kernel.☆873Updated 3 weeks ago
- Safe interop between Rust and C++☆6,649Updated 2 weeks ago
- Rust friendly bindings to *nix APIs☆2,976Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,751Updated last week
- 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 secure embedded operating system for microcontrollers☆6,204Updated last week
- Tools for concurrent programming in Rust☆8,284Updated 2 weeks ago
- Library to program x86_64 hardware.☆907Updated 3 weeks ago
- Write expressive, high-performance parsers with ease.☆4,450Updated this week
- Rust parser combinator framework☆10,284Updated 5 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,752Updated 2 months ago
- Create ridiculously fast Lexers☆3,437Updated this week