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,062Updated 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,844Updated this week
- Migrate C code to Rust☆4,562Updated this week
- A Rust-based, lightweight unikernel.☆1,367Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,450Updated last year
- GCC Front-End for Rust☆2,754Updated 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
- a smol tcp/ip stack☆4,240Updated 2 weeks ago
- An experimental pure-Rust x86 bootloader☆1,585Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,256Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,590Updated this week
- A comparison of operating systems written in Rust☆816Updated 3 weeks ago
- Interactively Visualizing Ownership and Borrowing for Rust☆2,813Updated last year
- The Elegant Parser☆5,178Updated 2 weeks ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,314Updated this week
- 🧑🔬 Operating system☆1,444Updated 3 weeks ago
- A small and fast async runtime for Rust☆4,597Updated 2 weeks ago
- Rust friendly bindings to *nix APIs☆2,930Updated this week
- A container runtime written in Rust☆7,053Updated last week
- The Rust Performance Book☆2,522Updated this week
- MOROS: Obscure Rust Operating System 🦉☆1,032Updated last week
- Rhai - An embedded scripting language for Rust.☆4,978Updated last week
- Tools for concurrent programming in Rust☆8,161Updated 5 months ago
- A secure embedded operating system for microcontrollers☆6,060Updated this week
- Library to program x86_64 hardware.☆892Updated this week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,601Updated last week
- Tool to create bootable disk images from a Rust OS kernel.☆854Updated 3 months ago
- A guide to how rustc works and how to contribute to it.☆1,793Updated this week
- LR(1) parser generator for Rust☆3,381Updated last week
- a debugger for async rust!☆4,291Updated 2 weeks ago
- Highly-available Distributed Fault-tolerant Runtime☆2,880Updated 2 years ago