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,025Updated 8 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,795Updated this week
- Migrate C code to Rust☆4,291Updated last month
- GCC Front-End for Rust☆2,656Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,188Updated last week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,229Updated 2 months ago
- A secure embedded operating system for microcontrollers☆5,852Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,280Updated this week
- a smol tcp/ip stack☆4,104Updated last month
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,185Updated this week
- Tools for concurrent programming in Rust☆7,919Updated 2 weeks ago
- A small and fast async runtime for Rust☆4,235Updated 3 weeks ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,741Updated 2 months ago
- Safe interop between Rust and C++☆6,326Updated 2 weeks ago
- Rhai - An embedded scripting language for Rust.☆4,652Updated this week
- A Rust-based, lightweight unikernel.☆1,305Updated this week
- Write expressive, high-performance parsers with ease.☆4,094Updated last week
- Rayon: A data parallelism library for Rust☆11,841Updated 2 months ago
- Rust parser combinator framework☆9,952Updated 4 months ago
- Create ridiculously fast Lexers☆3,181Updated last week
- a debugger for async rust!☆3,964Updated last month
- Highly-available Distributed Fault-tolerant Runtime☆2,849Updated 2 years ago
- A catalogue of Rust design patterns, anti-patterns and idioms☆8,445Updated this week
- The Rust Performance Book☆2,433Updated last month
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,835Updated last week
- An experimental pure-Rust x86 bootloader☆1,498Updated 2 weeks ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,775Updated last year
- the champagne of beta embedded databases☆8,518Updated last month
- The Elegant Parser☆4,980Updated this week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,597Updated 2 weeks ago
- ☆6,072Updated this week