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.
☆3,001Updated 7 months ago
Alternatives and similar repositories for Theseus
Users that are interested in Theseus are comparing it to the libraries listed below
Sorting:
- Migrate C code to Rust☆4,214Updated this week
- Hermit for Rust.☆1,773Updated last week
- A Rust-based, lightweight unikernel.☆1,287Updated last week
- GCC Front-End for Rust☆2,625Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,118Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,768Updated last year
- The Rust Performance Book☆2,414Updated this week
- Rhai - An embedded scripting language for Rust.☆4,561Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,180Updated last week
- Adding support for the Rust language to the Linux kernel.☆4,158Updated this week
- An experimental pure-Rust x86 bootloader☆1,481Updated last month
- Tools for concurrent programming in Rust☆7,837Updated last month
- a debugger for async rust!☆3,914Updated last month
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,163Updated this week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,775Updated last month
- A small and fast async runtime for Rust☆4,167Updated 2 months ago
- The Elegant Parser☆4,908Updated last month
- 🧑🔬 Operating system☆1,439Updated last week
- Statistics-driven benchmarking library for Rust☆5,010Updated 6 months ago
- A Rust framework for creating web apps☆3,835Updated 4 months ago
- Write expressive, high-performance parsers with ease.☆4,036Updated this week
- a smol tcp/ip stack☆4,021Updated last week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,392Updated 6 months ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,023Updated last month
- Rust parser combinator framework☆9,879Updated 3 months ago
- Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]☆4,468Updated 2 months ago
- Graph data structure library for Rust.☆3,287Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtime☆2,842Updated 2 years ago
- Kani Rust Verifier☆2,545Updated this week
- Rust friendly bindings to *nix APIs☆2,817Updated last week