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,011Updated 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,780Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,154Updated this week
- Migrate C code to Rust☆4,277Updated last week
- A small and fast async runtime for Rust☆4,198Updated this week
- Tools for concurrent programming in Rust☆7,875Updated last month
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,222Updated this week
- A modern TLS library in Rust☆6,729Updated this week
- a smol tcp/ip stack☆4,072Updated 3 weeks ago
- Rhai - An embedded scripting language for Rust.☆4,608Updated this week
- The Elegant Parser☆4,948Updated 2 months ago
- a debugger for async rust!☆3,938Updated 2 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,170Updated last week
- An RPC framework for Rust with a focus on ease of use.☆3,467Updated last month
- Rust friendly bindings to *nix APIs☆2,825Updated 3 weeks ago
- Rayon: A data parallelism library for Rust☆11,796Updated last month
- Write expressive, high-performance parsers with ease.☆4,064Updated this week
- A Rust-based, lightweight unikernel.☆1,296Updated this week
- Rust parser combinator framework☆9,912Updated 3 months ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,770Updated last year
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,803Updated last week
- GCC Front-End for Rust☆2,640Updated this week
- An embedded key-value database in pure Rust☆3,695Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,403Updated 6 months ago
- LR(1) parser generator for Rust☆3,247Updated this week
- The Rust Performance Book☆2,426Updated last week
- the champagne of beta embedded databases☆8,486Updated 2 weeks ago
- Application level tracing for Rust.☆5,939Updated this week
- Safe interop between Rust and C++☆6,289Updated last week
- Async version of the Rust standard library☆4,046Updated 2 months ago
- An experimental pure-Rust x86 bootloader☆1,491Updated last month