theseus-os / Theseus
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.
☆2,999Updated 7 months ago
Alternatives and similar repositories for Theseus:
Users that are interested in Theseus are comparing it to the libraries listed below
- Migrate C code to Rust☆4,205Updated this week
- Hermit for Rust.☆1,770Updated this week
- A small and fast async runtime for Rust☆4,136Updated last month
- Rust parser combinator framework☆9,864Updated 2 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,096Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,766Updated last year
- Tools for concurrent programming in Rust☆7,818Updated 3 weeks ago
- the champagne of beta embedded databases☆8,435Updated 4 months ago
- a smol tcp/ip stack☆4,003Updated last week
- GCC Front-End for Rust☆2,617Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,173Updated this week
- The Elegant Parser☆4,893Updated last month
- An experimental pure-Rust x86 bootloader☆1,479Updated last month
- Rust friendly bindings to *nix APIs☆2,803Updated last week
- Application level tracing for Rust.☆5,873Updated this week
- Rhai - An embedded scripting language for Rust.☆4,551Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,769Updated 3 weeks ago
- Rayon: A data parallelism library for Rust☆11,695Updated 3 weeks ago
- Zero-cost asynchronous programming in Rust☆5,595Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,157Updated this week
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,372Updated 3 weeks ago
- Serialization framework for Rust☆9,646Updated last week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,214Updated 3 weeks ago
- Safe interop between Rust and C++☆6,255Updated this week
- Async version of the Rust standard library☆4,035Updated last month
- LR(1) parser generator for Rust☆3,219Updated last week
- The Rust Performance Book☆2,410Updated 2 months ago
- An RPC framework for Rust with a focus on ease of use.☆3,446Updated last week
- A Rust-based, lightweight unikernel.☆1,277Updated this week
- Educational blog posts for Rust beginners☆7,934Updated 2 months ago