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,042Updated 11 months ago
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,813Updated last week
- GCC Front-End for Rust☆2,688Updated this week
- Migrate C code to Rust☆4,443Updated this week
- A Rust-based, lightweight unikernel.☆1,324Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,411Updated 9 months ago
- The Rust Performance Book☆2,465Updated 3 weeks ago
- A secure embedded operating system for microcontrollers☆5,969Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,393Updated this week
- An experimental pure-Rust x86 bootloader☆1,542Updated 2 weeks ago
- A comparison of operating systems written in Rust☆797Updated 3 weeks ago
- Adding support for the Rust language to the Linux kernel.☆4,220Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,784Updated last year
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,234Updated 4 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,249Updated this week
- Rhai - An embedded scripting language for Rust.☆4,787Updated this week
- Rust friendly bindings to *nix APIs☆2,874Updated last week
- The Elegant Parser☆5,075Updated 2 months ago
- 🧑🔬 Operating system☆1,444Updated 2 weeks ago
- A small and fast async runtime for Rust☆4,421Updated this week
- LR(1) parser generator for Rust☆3,321Updated this week
- a smol tcp/ip stack☆4,164Updated last week
- Rust parser combinator framework☆10,049Updated 6 months ago
- Tools for concurrent programming in Rust☆8,035Updated 2 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,475Updated this week
- a debugger for async rust!☆4,169Updated 3 months ago
- Framework for writing Linux kernel modules in safe Rust☆1,337Updated 4 years ago
- A container runtime written in Rust☆6,905Updated this week
- A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀☆4,295Updated 5 months ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,453Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,919Updated 2 weeks ago