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,057Updated 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,829Updated last week
- GCC Front-End for Rust☆2,731Updated last week
- A Rust-based, lightweight unikernel.☆1,354Updated this week
- Migrate C code to Rust☆4,528Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,242Updated 6 months ago
- An experimental pure-Rust x86 bootloader☆1,571Updated last month
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,448Updated 11 months ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,799Updated last year
- Adding support for the Rust language to the Linux kernel.☆4,247Updated last week
- A comparison of operating systems written in Rust☆812Updated last week
- A secure embedded operating system for microcontrollers☆6,036Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,292Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,540Updated this week
- a smol tcp/ip stack☆4,218Updated 2 weeks ago
- The Elegant Parser☆5,148Updated 3 weeks ago
- Rust friendly bindings to *nix APIs☆2,918Updated 2 weeks ago
- A small and fast async runtime for Rust☆4,544Updated 3 weeks ago
- The Rust Performance Book☆2,515Updated 3 weeks ago
- 🧑🔬 Operating system☆1,444Updated 2 weeks ago
- Framework for writing Linux kernel modules in safe Rust☆1,337Updated 4 years ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,560Updated last week
- LR(1) parser generator for Rust☆3,365Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,979Updated last week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,506Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,729Updated 2 weeks ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,711Updated last week
- a debugger for async rust!☆4,250Updated last week
- Tool to create bootable disk images from a Rust OS kernel.☆842Updated 2 months ago
- Rhai - An embedded scripting language for Rust.☆4,935Updated last week
- A container runtime written in Rust☆7,014Updated last week