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,099Updated 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,858Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,455Updated last year
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,243Updated 9 months ago
- Adding support for the Rust language to the Linux kernel.☆4,297Updated this week
- An experimental pure-Rust x86 bootloader☆1,611Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,369Updated last week
- Migrate C code to Rust☆4,610Updated last week
- A Rust-based, lightweight unikernel.☆1,397Updated this week
- GCC Front-End for Rust☆2,790Updated this week
- A comparison of operating systems written in Rust☆827Updated 2 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,791Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,820Updated last year
- A secure embedded operating system for microcontrollers☆6,170Updated this week
- Rhai - An embedded scripting language for Rust.☆5,090Updated this week
- The Rust Performance Book☆2,621Updated last month
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,185Updated 3 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,542Updated this week
- Rust friendly bindings to *nix APIs☆2,959Updated 3 weeks ago
- A small and fast async runtime for Rust☆4,687Updated last week
- 🧑🔬 Operating system☆1,444Updated 3 weeks ago
- a smol tcp/ip stack☆4,319Updated 2 months ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,791Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,706Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,747Updated last month
- Tools for concurrent programming in Rust☆8,249Updated last week
- a debugger for async rust!☆4,355Updated last month
- Tool to create bootable disk images from a Rust OS kernel.☆868Updated 4 months ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆5,065Updated last week
- Framework for writing Linux kernel modules in safe Rust☆1,340Updated 4 years ago
- Create ridiculously fast Lexers☆3,412Updated this week