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,962Updated 4 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,123Updated 3 weeks ago
- Hermit for Rust.☆1,735Updated this week
- Rhai - An embedded scripting language for Rust.☆4,376Updated 3 weeks ago
- An interpreter for Rust's mid-level intermediate representation☆4,895Updated this week
- Tools for concurrent programming in Rust☆7,655Updated 2 weeks ago
- The Elegant Parser☆4,780Updated 2 weeks ago
- A small and fast async runtime for Rust☆3,852Updated this week
- Rusty Object Notation☆3,482Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,005Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,744Updated last year
- the champagne of beta embedded databases☆8,310Updated last month
- Rayon: A data parallelism library for Rust☆11,459Updated 2 months ago
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,266Updated 3 weeks ago
- a smol tcp/ip stack☆3,926Updated last week
- The Rust Performance Book☆2,354Updated 8 months ago
- Rust parser combinator framework☆9,739Updated last week
- LR(1) parser generator for Rust☆3,166Updated last week
- ☆5,761Updated this week
- Create ridiculously fast Lexers☆3,046Updated last month
- A container runtime written in Rust☆6,504Updated this week
- GCC Front-End for Rust☆2,543Updated this week
- Application level tracing for Rust.☆5,710Updated 3 weeks ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,655Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,382Updated 3 months ago
- An experimental pure-Rust x86 bootloader☆1,448Updated this week
- Async version of the Rust standard library☆4,006Updated 5 months ago
- Flexible concrete Error type built on std::Error☆5,742Updated last week
- Serialization framework for Rust☆9,433Updated last week
- Rust friendly bindings to *nix APIs☆2,744Updated last week
- a debugger for async rust!☆3,781Updated 3 weeks ago