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,077Updated last year
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,848Updated this week
- Migrate C code to Rust☆4,570Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,450Updated last year
- A Rust-based, lightweight unikernel.☆1,373Updated this week
- GCC Front-End for Rust☆2,762Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,246Updated 7 months ago
- An experimental pure-Rust x86 bootloader☆1,589Updated 2 weeks ago
- An interpreter for Rust's mid-level intermediate representation☆5,607Updated last week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,814Updated last year
- A comparison of operating systems written in Rust☆816Updated last month
- Adding support for the Rust language to the Linux kernel.☆4,264Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,323Updated this week
- A small and fast async runtime for Rust☆4,605Updated 3 weeks ago
- LR(1) parser generator for Rust☆3,387Updated 2 weeks ago
- The Elegant Parser☆5,196Updated last week
- Rust friendly bindings to *nix APIs☆2,931Updated 2 weeks ago
- a smol tcp/ip stack☆4,249Updated 3 weeks ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,618Updated this week
- Rhai - An embedded scripting language for Rust.☆4,999Updated this week
- 🧑🔬 Operating system☆1,443Updated last week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,525Updated last week
- Alternative rust compiler (re-implementation)☆2,368Updated this week
- a debugger for async rust!☆4,305Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆5,016Updated 2 weeks ago
- A secure embedded operating system for microcontrollers☆6,081Updated this week
- The Rust Performance Book☆2,531Updated last week
- MOROS: Obscure Rust Operating System 🦉☆1,026Updated this week
- Create ridiculously fast Lexers☆3,332Updated last week
- Tool to create bootable disk images from a Rust OS kernel.☆855Updated 3 months ago
- A modern TLS library in Rust☆7,077Updated last week