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,942Updated 3 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,101Updated last month
- Hermit for Rust.☆1,710Updated this week
- An interpreter for Rust's mid-level intermediate representation☆4,781Updated this week
- Tools for concurrent programming in Rust☆7,609Updated 2 weeks ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,735Updated 11 months ago
- the champagne of beta embedded databases☆8,264Updated 3 weeks ago
- Rhai - An embedded scripting language for Rust.☆3,968Updated last week
- Safe interop between Rust and C++☆6,036Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,073Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆4,913Updated last week
- The Rust Performance Book☆2,332Updated 7 months ago
- Rayon: A data parallelism library for Rust☆11,336Updated last month
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,578Updated last week
- Rust parser combinator framework☆9,631Updated last month
- The Elegant Parser☆4,739Updated last week
- A data-first Rust-native UI design toolkit.☆9,636Updated 2 months ago
- A small and fast async runtime for Rust☆3,825Updated last month
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,226Updated 2 weeks ago
- A Rust-based, lightweight unikernel.☆1,216Updated this week
- A secure embedded operating system for microcontrollers☆5,571Updated this week
- a smol tcp/ip stack☆3,876Updated 2 weeks ago
- Window handling library in pure Rust☆4,991Updated last week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,923Updated last month
- a debugger for async rust!☆3,722Updated 3 weeks ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,183Updated 4 months ago
- Write expressive, high-performance parsers with ease.☆3,729Updated 2 weeks ago
- 🦀 How to minimize Rust binary size 📦☆8,460Updated 3 weeks ago
- Statistics-driven benchmarking library for Rust☆4,759Updated 2 months ago
- A native gRPC client & server implementation with async/await support.☆10,342Updated this week
- Alternative rust compiler (re-implementation)☆2,228Updated this week